作者：李晟; 李娜直觉主义逻辑公理化真理论ifs理论
摘要：文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《逻辑学研究》（CN：44-1649/C）是一本有较高学术价值的双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《逻辑学研究》是中国期刊全文数据库、万方数据——数字化期刊群、维普资讯——中文科技期刊数据库、中国核心期刊（遴选）数据库、中国学术期刊（光盘版）、CSSCI中文社会科学引文索引（2017—2018）等多个评估系统的来源期刊。
省级期刊
人气 229342 评论 69
人气 100006 评论 51
CSSCI南大期刊、北大期刊、统计源期刊
人气 81791 评论 50
CSSCI南大期刊、北大期刊
人气 58096 评论 73
