%0 Journal Article
%T 直觉主义逻辑上的公理化真理论<br>Axiomatic Theories of Truth on Intuitionistic Logic
%A 李娜
%A 李晟&lt
%A br&gt
%A Na Li
%A Sheng Li
%J 逻辑学研究
%D 2015
%X 本文在直觉主义逻辑和海廷算术HA 的基础上，重新考察了去引号模式和组合真公理，得到了三种直觉主义的类型真理论：IDT、ICT 和SICT，并探讨了它们的一些基本性质。本文证明了三者都满足对算术的标准解释，并且IDT 和SICT 是实质上充分的真理论，而ICT 不是。在保守性方面，本文证明了IDT 是HA 的算术保守扩充理论，而SICT 是非保守扩充。<br
%K 直觉主义逻辑
%K 公理化真理论
%K 类型
%K 去引号
%K 组合
%K &lt
%K br&gt
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract227.shtml