Algebraic proof of the separation theorem on classical propositional calculus

DOI10.3792/PJA/1195522117MaRDI QIDQ5534906zbMATH OpenOpenAlexFDO

Authors 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

algebraic proofclassical propositional calculusseparation theorem

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• scientific article; zbMATH DE number 3236052
• scientific article; zbMATH DE number 4006236
• Algebraic proofs of cut elimination
• A syntactic approach to Maksimova's principle of variable separation for some substructural logics
• On separation lemmas

Cites work

• scientific article; zbMATH DE number 3236052 (Why is no real title available?)
• The separation theorem of intuitionist propositional calculus

Cited in

(8)

• On sequence-conclusion natural deduction systems
• On separation lemmas
• An alternative normalization of the implicative fragment of classical logic
• A note on some intermediate propositional calculi
• To predigest proving of theorem in real number field by using separable proposition
• scientific article; zbMATH DE number 4006236 (Why is no real title available?)
• scientific article; zbMATH DE number 3236052 (Why is no real title available?)
• On the separation theorem of intermediate propositional calculi

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5534906)