A Note on the Relevance of Semilattice Relevance Logic

DOI10.26686/ajl.v16i6.5416zbMath1456.03044OpenAlexW2980808091MaRDI QIDQ5205978

Yale Weiss

Publication date: 17 December 2019

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.26686/ajl.v16i6.5416

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (6)

What is a relevant connective? ⋮ SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION ⋮ A characteristic frame for positive intuitionistic and relevance logic ⋮ A conservative negation extension of positive semilattice logic without the finite model property ⋮ A reinterpretation of the semilattice semantics with applications ⋮ Revisiting Semilattice Semantics

This page was built for publication: A Note on the Relevance of Semilattice Relevance Logic