On the separation theorem of intermediate propositional calculi

DOI10.3792/pja/1195521924zbMath0168.00306OpenAlexW2043004221MaRDI QIDQ5553255

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/1195521924

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (5)

Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$ ⋮ A note on some intermediate propositional calculi ⋮ Separability of normalizable superintuitionistic propositional logics ⋮ An alternative normalization of the implicative fragment of classical logic ⋮ The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel

Cites Work

• Unnamed Item
• A propositional calculus with denumerable matrix
• The implicational fragment of Dummett's LC
• Two additions to positive implication
• Algebraic proof of the separation theorem on classical propositional calculus
• The separation theorem of intuitionist propositional calculus

This page was built for publication: On the separation theorem of intermediate propositional calculi