Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$
From MaRDI portal
Publication:5553256
DOI10.3792/pja/1195521876zbMath0168.00307OpenAlexW1990891631MaRDI QIDQ5553256
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
Related Items (3)
A note on some intermediate propositional calculi ⋮ Separability of normalizable superintuitionistic propositional logics ⋮ The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
Cites Work
This page was built for publication: Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$