On A neglected path to intuitionism

DOI10.1007/s11245-011-9108-5zbMath1308.03027OpenAlexW2063044380MaRDI QIDQ2339011

Ian Rumfitt

Publication date: 27 March 2015

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-011-9108-5

zbMATH Keywords

logical consequenceintuitionistic logicprinciple of bivalencepossibilities

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Truth-maker semantics for intuitionistic logic ⋮ A semantic hierarchy for intuitionistic logic

Cites Work

• From worlds to possibilities
• Semantic analysis of orthologic
• Pretopologies and completeness proofs
• Possible Worlds
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On A neglected path to intuitionism