Choice of primitives: A note on axiomatizing intuitionistic logic

DOI10.1080/01445349808837294zbMath1052.03519OpenAlexW2139796779WikidataQ58573218 ScholiaQ58573218MaRDI QIDQ2757960

I. L. Humberstone

Publication date: 5 December 2001

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349808837294

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Intuitionistic logic is a connexive logic ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis

Cites Work

• Unnamed Item
• Equivalential logics. I
• Zero-place operations and functional completeness, and the definition of new connectives
• A Warning About Translating Axioms
• The Dynamics of Belief as a Basis for Logic
• Propositional logic based on the dynamics of belief
• Categoricity

This page was built for publication: Choice of primitives: A note on axiomatizing intuitionistic logic