论文标题
直觉的逻辑kripke-platek集理论
Logics of Intuitionistic Kripke-Platek Set Theory
论文作者
论文摘要
我们研究了直觉kripke-platek集理论IKP的逻辑结构，并表明IKP的一阶逻辑是直觉的一阶逻辑IQC。
We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP, and show that the first-order logic of IKP is intuitionistic first-order logic IQC.
