THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC

DOI10.1017/jsl.2022.51arXiv2112.00486MaRDI QIDQ6203558

Robert Paßmann

Publication date: 5 April 2024

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.00486

zbMATH Keywords

first-order logicadmissible rulesconstructive set theoryintuitionistic set theorytautologies of a theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Derived rules for predicative set theory: an application of sheaves
• Intermediate logics and Visser's rules
• Intermediate logics and the de Jongh property
• Constructivism in mathematics. An introduction. Volume I
• A semantical proof of De Jongh's theorem
• Logics of intuitionistic Kripke-Platek set theory
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• The upper semi-lattice of degrees of recursive unsolvability
• On the admissible rules of intuitionistic propositional logic
• On the quantificational logic of intuitionistic set theory
• Axiom of Choice and Complementation
• Choice Implies Excluded Middle
• Set Theory
• A quasi-intumonistic set theory
• Rules and arithmetics

This page was built for publication: THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC