On the separation theorem of intermediate propositional calculi

DOI10.3792/PJA/1195521924zbMATH Open0168.00306OpenAlexW2043004221MaRDI QIDQ5553255FDOQ5553255

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

• A propositional calculus with denumerable matrix
• The separation theorem of intuitionist propositional calculus
• The implicational fragment of Dummett's LC
• Two additions to positive implication
• Title not available (Why is that?)
• Algebraic proof of the separation theorem on classical propositional calculus

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}$
• Title not available (Why is that?)
• 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)