直觉主义逻辑上的公理化真理论
Axiomatic Theories of Truth on Intuitionistic Logic

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