直觉主义逻辑上的公理化真理论

摘要：

本文在直觉主义逻辑和海廷算术HA的基础上，重新考察了去引号模式和组合真公理，得到了三种直觉主义的类型真理论：IDT、ICT和SICT，并探讨了它们的一些基本性质。本文证明了三者都满足对算术的标准解释，并且IDT和SICT是实质上充分的真理论，而ICT不是。在保守性方面，本文证明了IDT是HA的算术保守扩充理论，而SICT是非保守扩充。

关键词：直觉主义逻辑、公理化真理论、类型、去引号、组合

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金项目“公理化真理论研究”12BZX059。

在线出版日期：2015-10-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：48-63