A Complete Semantics for Implicational Logics

From MaRDI portal

Revision as of 00:05, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3962971

Jump to:navigation, search

DOI10.1002/malq.19810272306zbMath0498.03016OpenAlexW2037414845MaRDI QIDQ3962971

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 frame extended Kripke model extension of intuitionistic implicational logic

Mathematics Subject Classification ID

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

Related Items (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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3962971&oldid=17668654"