直觉主义逻辑上的Friedman-Sheard理论

发布时间：2021-04-12 01:58

　　文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。 

【文章来源】：逻辑学研究. 2018,11(02)CSSCI

【文章页数】：19 页


本文编号：3132383