Algebraic proof of the separation theorem on Dummett's \mathrm{LC}

DOI10.3792/PJA/1195521876MaRDI QIDQ5553256zbMATH 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/1195521876

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites work

• A propositional calculus with denumerable matrix
• On the separation theorem of intermediate propositional calculi
• The implicational fragment of Dummett's LC
• The separation theorem of intuitionist propositional calculus

Cited in

(3)

• Separability of normalizable superintuitionistic propositional logics
• A note on some intermediate propositional calculi
• The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel

This page was built for publication: Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$

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