文献详情
深度和弱宽度有穷的传递逻辑的有穷可公理化
外文标题:Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width
文献类型:期刊
期刊名称:逻辑学研究
年:2019
卷:12
期:3
页码:16-31
ISSN:1674-3202
所属部门:哲学院
链接地址:http://d.oldg.wanfangdata.com.cn/Periodical_zsdxxblc201903002.aspx
摘要:这篇文章研究深度和弱宽度都有穷的传递逻辑类的可有穷公理化问题,并给出了正反两方面的结论.在正面方面,本文证明了对每个深度有穷且弱宽度为1的传递逻辑L,如果L的框架中反链的禁自返点基数都不大于某个自然数n,那么L是有穷可公理化的.对于反面结论,本文证明了对任意n≥3和k≥2,存在深度为n且弱宽度为k的传递逻辑是不可有穷公理化的.
DOI:10.3969/j.issn.1674-3202.2019.03.002
百度学术:深度和弱宽度有穷的传递逻辑的有穷可公理化
语言:中文
作者其他论文
暂无数据...
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
深度和弱宽度有穷的传递逻辑的有穷可公理化
本站小编 Free考研/2020-04-17
相关话题/逻辑 文献
消费者碎片化行为:文献回顾与研究展望
文献详情消费者碎片化行为:文献回顾与研究展望外文标题:ActivityFragmentationofConsumers:LiteratureReview文献类型:期刊期刊名称:科学决策年:2019期:3页码:73-98ISSN:1006-4885关键词:消费者碎片化行为碎片化阅读移动营销所属部门:商 ...中国人民大学科研学术 本站小编 Free考研 2020-04-17民法典人格权编草案逻辑结构的特点与问题
文献详情民法典人格权编草案逻辑结构的特点与问题文献类型:期刊期刊名称:东方法学年:2019期:2页码:4-15ISSN:1007-1466关键词:民法典;人格权编;逻辑结构;人格利益;人格权链接地址:http://d.oldg.wanfangdata.com.cn/Periodical_dffx20 ...中国人民大学科研学术 本站小编 Free考研 2020-04-17了解义务教育,才能办好义务教育——观大型文献纪录片《圆梦百年:中国义务教育百年纪实》有感
文献详情了解义务教育,才能办好义务教育——观大型文献纪录片《圆梦百年:中国义务教育百年纪实》有感文献类型:期刊期刊名称:教育科学研究年:2018期:07页码:95-96ISSN:1009-718X关键词:义务教育;文献纪录片;摘要:2012年,由杨晓萍任总制片、于和任总撰稿和总导演的30集大型文献纪 ...中国人民大学科研学术 本站小编 Free考研 2020-04-17医药专利反向支付协议的反垄断规制研究 ——基于美国近十年学术文献的分析
文献详情医药专利反向支付协议的反垄断规制研究——基于美国近十年学术文献的分析外文标题:ResearchonAntitrustRegulationtowardReverse-paymentsofPharmaceuticalPatent—BasingonAmericanLiteraturefortheP ...中国人民大学科研学术 本站小编 Free考研 2020-04-17“中国特色现代性”历史生成的逻辑进路探究
文献详情“中国特色现代性”历史生成的逻辑进路探究文献类型:期刊期刊名称:云南社会科学年:2018期:05页码:58-63+186ISSN:1000-8691关键词:现代性;中国特色现代性;历史生成;现代化摘要:"中国特色现代性"作为解读中国特色社会主义现代化的重要范式,其历史生成遵循一定的逻辑进路。 ...中国人民大学科研学术 本站小编 Free考研 2020-04-17论王禹偁诗歌自注的文学功能与文献价值
文献详情论王禹偁诗歌自注的文学功能与文献价值外文标题:LiteraryFunctionandLiteratureValueofSelf-AnnotationofWangYucheng'sPoems文献类型:期刊作者:苏碧铨[1]机构:[1]中国人民大学国学院,北京,100872期刊名称:海南大学学报 ...中国人民大学科研学术 本站小编 Free考研 2020-04-17数据新闻的学科建构:演进逻辑、知识图谱与前沿热点——基于美国核心期刊数据库Web of Science(1992-2018)的文献分析
文献详情数据新闻的学科建构:演进逻辑、知识图谱与前沿热点——基于美国核心期刊数据库WebofScience(1992-2018)的文献分析文献类型:期刊期刊名称:新闻记者年:2018期:10页码:57-69ISSN:1006-3277关键词:数据新闻;演进逻辑;CiteSpace;知识图谱;共引分析 ...中国人民大学科研学术 本站小编 Free考研 2020-04-17政府话语权威与国际规则的经纬逻辑
文献详情政府话语权威与国际规则的经纬逻辑外文标题:TheGovernmentDiscourseAuthorityandtheLongitude-LatitudeLogicofInternationalRules文献类型:期刊作者:刘小燕[1]崔远航[2]机构:[1]中国人民大学国家发展与战略研究院[ ...中国人民大学科研学术 本站小编 Free考研 2020-04-17人力资源管理的新视野---基于中国传统管理思想与员工层次匹配的逻辑视角
文献详情人力资源管理的新视野---基于中国传统管理思想与员工层次匹配的逻辑视角文献类型:期刊作者:杨志勇[1]张朋朋[2]刘凯[3]机构:[1]中国人民大学哲学院[2]中国劳动关系学院经济管理系[3]中国人民大学期刊名称:现代管理科学年:2018期:12页码:109-111ISSN:1007-368 ...中国人民大学科研学术 本站小编 Free考研 2020-04-17方法论视野下的比较历史分析:应用逻辑与国内进展
文献详情方法论视野下的比较历史分析:应用逻辑与国内进展文献类型:期刊作者:释启鹏[1]机构:[1]中国人民大学国际关系学院,北京,100872期刊名称:武汉理工大学学报(社会科学版)年:2018卷:31期:5页码:84-89ISSN:1671-6477关键词:比较历史分析;密尔法;制度变迁;时间性所 ...中国人民大学科研学术 本站小编 Free考研 2020-04-17