Logics of intuitionistic Kripke-Platek set theory
| Authors | |
|---|---|
| Publication date | 12-2021 |
| Journal | Annals of Pure and Applied Logic |
| Article number | 103014 |
| Volume | Issue number | 172 | 10 |
| Number of pages | 22 |
| Organisations |
|
| Abstract |
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. |
| Document type | Article |
| Note | The first author is supported by the Netherlands Organisation for Scientific Research under grant 639.073.807.The second author was supported by a doctoral scholarship of the Studienstiftung des deutschen Volkes, the Prins Bernhard Cultuurfonds, and partially supported by the Marie Skłodowska-Curie fellowship REGPROP (706219) funded by the European Commission at the Universität Hamburg. |
| Language | English |
| Published at | https://doi.org/10.1016/j.apal.2021.103014 |
| Other links | https://www.scopus.com/pages/publications/85110062074 |
| Downloads |
1-s2.0-S0168007221000725-main
(Final published version)
|
| Permalink to this page | |
