首页 > 期刊 > 人文社会科学 > 哲学与人文科学 > 逻辑学 > 逻辑学研究 > 深度和弱宽度有穷的传递逻辑的有穷可公理化 【正文】

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

张炎 中国人民大学哲学院、哲学与认知科学跨学科平台
  • 公理化
  • 逻辑
  • 宽度
  • 自然数
  • 证明

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

投稿咨询 免费咨询 杂志订阅

我们提供的服务

服务流程: 确定期刊 支付定金 完成服务 支付尾款 在线咨询