当前位置:
X-MOL 学术
›
Ann. Pure Appl. Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Logics of intuitionistic Kripke-Platek set theory
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2021-07-01 , DOI: 10.1016/j.apal.2021.103014 Rosalie Iemhoff , Robert Passmann
中文翻译:
直觉主义 Kripke-Platek 集合论的逻辑
更新日期:2021-07-12
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2021-07-01 , DOI: 10.1016/j.apal.2021.103014 Rosalie Iemhoff , Robert Passmann
We investigate the logical structure of intuitionistic Kripke-Platek set theory , and show that the first-order logic of is intuitionistic first-order logic IQC.
中文翻译:
直觉主义 Kripke-Platek 集合论的逻辑
我们研究了直觉主义 Kripke-Platek 集合论的逻辑结构 ,并证明一阶逻辑 是直观的一阶逻辑IQC。