Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre

zbMath0586.03048MaRDI QIDQ1071765

B. George

Publication date: 1985

Published in: Expositiones Mathematicae (Search for Journal in Brave)

zbMATH Keywords

intuitionistic propositional calculusclassical propositional calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25) Intermediate logics (03B55)

This page was built for publication: Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre