A class of decidable intermediate propositional logics
From MaRDI portal
Publication:5619824
DOI10.2307/2271521zbMath0216.29201MaRDI QIDQ5619824
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271521
Related Items
A reduction theorem for the Alperin weight conjecture., Intermediate logics with the same disjunctionless fragment as intuitionistic logic, Modal logics with LM-axioms
Cites Work