INVESTIGATIONS INTO IMPLICATIONAL S5
From MaRDI portal
Publication:5522918
DOI10.1002/malq.19640101305zbMath0146.00803OpenAlexW2010717019MaRDI QIDQ5522918
Publication date: 1964
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19640101305
Related Items
Modal logic for other-world agnostics: Neutrality and Halldén incompleteness, Shortest axiomatizations of implicational S4 and S5, A note on deduction theorem for Gödel's propositional calculus G4, Annihilators in BCK-Algebras, On the structural completeness of some pure implicational propositional calculi, Basic properties of the equivalence