Completeness of weak implication

DOI10.1111/j.1755-2567.1971.tb00072.xzbMath0238.02018OpenAlexW2082805117MaRDI QIDQ5648339

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)

Related Items (10)

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

This page was built for publication: Completeness of weak implication