A Complete Semantics for Implicational Logics
From MaRDI portal
Publication:3962971
DOI10.1002/malq.19810272306zbMath0498.03016OpenAlexW2037414845MaRDI QIDQ3962971
Publication date: 1981
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19810272306
Related Items
For Want of an ‘And’: A Puzzle about Non-Conservative Extension, Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic