文献详情
深度和弱宽度有穷的传递逻辑的有穷可公理化
外文标题：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
百度学术：深度和弱宽度有穷的传递逻辑的有穷可公理化
语言：中文
作者其他论文



暂无数据...