Completeness of weak implication

DOI10.1111/J.1755-2567.1971.TB00072.XMaRDI QIDQ5648339zbMATH OpenOpenAlexFDO

Authors Alasdair Urquhart

Publication date 1971

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1971.tb00072.x

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99)

Cited in

(12)

• New axiomatics for relevant logics. I
• A conservative negation extension of positive semilattice logic without the finite model property
• A reinterpretation of the semilattice semantics with applications
• A characteristic frame for positive intuitionistic and relevance logic
• Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms
• A Logical Autobiography
• St. Alasdair on Lattices Everywhere
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• Dynamic Epistemic Logic as a Substructural Logic
• Truth-maker semantics for some substructural logics
• A note on contradictions in Francez-Weiss logics
• A relevant logic of questions

This page was built for publication: Completeness of weak implication

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