Algebraic proof of the separation theorem on classical propositional calculus

DOI10.3792/pja/1195522117zbMath0154.25305OpenAlexW1997487507MaRDI QIDQ5534906

Tsutomu Hosoi

Publication date: 1966

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195522117

zbMATH Keywords

separation theoremalgebraic proofclassical propositional calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (4)

On the separation theorem of intermediate propositional calculi ⋮ A note on some intermediate propositional calculi ⋮ On sequence-conclusion natural deduction systems ⋮ An alternative normalization of the implicative fragment of classical logic

Cites Work

• The separation theorem of intuitionist propositional calculus
• Unnamed Item

This page was built for publication: Algebraic proof of the separation theorem on classical propositional calculus