INVESTIGATIONS INTO IMPLICATIONAL S5

DOI10.1002/MALQ.19640101305MaRDI QIDQ5522918zbMATH OpenOpenAlexFDO

Authors C. A. Meredith, A. N. Prior

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

zbMATH Keywords

mathematical logic

Cited in

(6)

• A note on deduction theorem for Gödel's propositional calculus G4
• Shortest axiomatizations of implicational S4 and S5
• On the structural completeness of some pure implicational propositional calculi
• Annihilators in BCK-Algebras
• Basic properties of the equivalence
• Modal logic for other-world agnostics: Neutrality and Halldén incompleteness

This page was built for publication: INVESTIGATIONS INTO IMPLICATIONAL S5

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