On the separation theorem of intermediate propositional calculi

DOI10.3792/PJA/1195521924MaRDI QIDQ5553255zbMATH 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/1195521924

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites work

• scientific article; zbMATH DE number 3236052 (Why is no real title available?)
• A propositional calculus with denumerable matrix
• Algebraic proof of the separation theorem on classical propositional calculus
• The implicational fragment of Dummett's LC
• The separation theorem of intuitionist propositional calculus
• Two additions to positive implication

Cited in

(8)

• The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
• Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$
• scientific article; zbMATH DE number 3885877 (Why is no real title available?)
• Separability of normalizable superintuitionistic propositional logics
• An alternative normalization of the implicative fragment of classical logic
• A note on some intermediate propositional calculi
• An undecidability result for separation logic with theory reasoning
• A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice

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

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