The Demarcation Line Between Intuitionist Logic and Classical Logic

DOI10.1002/malq.19660120121zbMath0143.01103OpenAlexW2149123845MaRDI QIDQ5518357

Richmond H. Thomason, Hugues Leblanc

Publication date: 1966

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19660120121

zbMATH Keywords

mathematical logic

Related Items

SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS ⋮ On the strong semantical completeness of the intuitionistic predicate calculus

This page was built for publication: The Demarcation Line Between Intuitionist Logic and Classical Logic