%0 Journal Article
%T 直觉主义逻辑上的Friedman-Sheard 理论<br>The Friedman-Sheard Theory on Intuitionistic Logic
%A 李晟
%A 李娜&lt
%A br&gt
%A Sheng Li
%A Na Li
%J 逻辑学研究
%D 2018
%X 摘要：文章通过削弱经典的Friedman-Sheard 理论的逻辑基础，讨论了基于直觉主义逻辑的IFS 理论。通过将直觉主义逻辑的语义学与修正语义学相结合，文章提出了直觉主义修正语义学，并证明了IFS 可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS 可以通过否定性转换嵌入IFS。<br
%K 直觉主义逻辑
%K 公理化
%K 真理论
%K IFS 理论
%K &lt
%K br&gt
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract328.shtml