A Complete Semantics for Implicational Logics

DOI10.1002/MALQ.19810272306zbMATH Open0498.03016OpenAlexW2037414845MaRDI QIDQ3962971FDOQ3962971

Authors: Robert E. Kirk 

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

zbMATH Keywords

extended Kripke frameextended Kripke modelextension of intuitionistic implicational logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Cited In (2)

• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

This page was built for publication: A Complete Semantics for Implicational Logics

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