Logics of Intuitionistic Kripke-Platek Set Theory
Rosalie Iemhoff, Robert Passmann
TL;DR
This paper explores the logical framework of intuitionistic Kripke-Platek set theory (IKP) and establishes that its first-order logic aligns with intuitionistic first-order logic IQC.
Contribution
It demonstrates that the first-order logic of IKP is exactly the intuitionistic first-order logic IQC, clarifying its logical structure.
Findings
First-order logic of IKP is IQC
Provides insight into the logical foundations of IKP
Clarifies the relationship between IKP and IQC
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.