scientific article; zbMATH DE number 3236052

MaRDI QIDQ5523672zbMATH OpenFDO

Authors Tsutomu Hosoi

Publication date 1966

zbMATH Keywords

classical propositional logicGentzen's cut elimination theoremseparation theorem

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• Algebraic proof of the separation theorem on classical propositional calculus
• Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology
• scientific article; zbMATH DE number 5827852
• A note on sequent calculi intermediate between LJ and LK
• On the Logical System L₁

Cited in

(7)

• On sequence-conclusion natural deduction systems
• Separability of normalizable superintuitionistic propositional logics
• An alternative normalization of the implicative fragment of classical logic
• Axiomatization of models for intermediate logics constructed with Boolean models by piling up
• Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology
• Algebraic proof of the separation theorem on classical propositional calculus
• On the separation theorem of intermediate propositional calculi

This page was built for publication:

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