作者:张炎公理化逻辑宽度自然数证明基数
摘要:这篇文章研究深度和弱宽度都有穷的传递逻辑类的可有穷公理化问题,并给出了正反两方面的结论。在正面方面,本文证明了对每个深度有穷且弱宽度为1的传递逻辑L,如果L 的框架中反链的禁自返点基数都不大于某个自然数n,那么L 是有穷可公理化的。对于反面结论,本文证明了对任意n≥ 3 和k ≥ 2,存在深度为n 且弱宽度为k 的传递逻辑是不可有穷公理化的。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《逻辑学研究》(CN:44-1649/C)是一本有较高学术价值的双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《逻辑学研究》是中国期刊全文数据库、万方数据——数字化期刊群、维普资讯——中文科技期刊数据库、中国核心期刊(遴选)数据库、中国学术期刊(光盘版)、CSSCI中文社会科学引文索引(2017—2018)等多个评估系统的来源期刊。
省级期刊
人气 229342 评论 69
人气 100006 评论 51
CSSCI南大期刊、北大期刊、统计源期刊
人气 81791 评论 50
CSSCI南大期刊、北大期刊
人气 58096 评论 73