Logics of intuitionistic Kripke-Platek set theory

Annals of Pure and Applied Logic 172 (10):103014 (2021)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,662

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.
Reference and Perspective in Intuitionistic Logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
Intuitionistic Validity in T-Normal Kripke Structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.

Analytics

Added to PP
2021-07-08

Downloads
16 (#663,022)

6 months
2 (#279,211)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rosalie Iemhoff
Utrecht University
Robert Passmann
University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
On Axiomatizability Within a System.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
Set-Theoretic Geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Independence Results Around Constructive ZF.Robert S. Lubarsky - 2005 - Annals of Pure and Applied Logic 132 (2-3):209-225.

View all 14 references / Add more references