深度和弱宽度有穷的传递逻辑的有穷可公理化

摘要：

这篇文章研究深度和弱宽度都有穷的传递逻辑类的可有穷公理化问题,并给出了正反两方面的结论.在正面方面,本文证明了对每个深度有穷且弱宽度为1的传递逻辑L,如果L的框架中反链的禁自返点基数都不大于某个自然数n,那么L是有穷可公理化的.对于反面结论,本文证明了对任意n≥3和k≥2,存在深度为n且弱宽度为k的传递逻辑是不可有穷公理化的.

所属期刊栏目：12

在线出版日期：2019-08-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：16-31