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

【Abstract】 In this paper, we investigate the disquotation scheme and the compositional axioms of truth based on the intuitionistic logic and Heyting arithmetic HA. Three intuitionistic typed theories of truth, that is, IDT, ICT and SICT, will be obtained and their basic properties will be discussed. The main results of this paper are the standard interpretation of arithmetic is suitable for all of them, IDT and SICT are both theories of truth meet adequacy conditions, and IDT is conservative over HA, but SICT not.更多还原