直觉主义逻辑上的Friedman-Sheard 理论
The Friedman-Sheard Theory on Intuitionistic Logic

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