|
|||||
|
|
| 直觉主义逻辑上的Friedman-Sheard理论 | |
| 引用本文： | 李晟,李娜.直觉主义逻辑上的Friedman-Sheard理论[J].逻辑学研究,2018(2). |
| 作者姓名： | 李晟 李娜 |
| 作者单位： | 四川师范大学逻辑与信息研究所;四川师范大学马克思主义学院;南开大学哲学院 |
| 摘 要： | 文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。 |
| 本文献已被 CNKI 等数据库收录！ | |