A Note on the Relevance of Semilattice Relevance Logic

DOI10.26686/AJL.V16I6.5416MaRDI QIDQ5205978zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• On semilattice relevant logics
• Some relevance logics from the point of view of relational semantics
• Relevant logics: from semantics to proof systems
• Algebraic Kripke-style semantics for relevance logics
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Relevance logics and intuitionistic negation
• Note on algebraic models for relevance logic
• Semantics for quantified relevance logic
• scientific article; zbMATH DE number 575580
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS

Cited in

(21)

• A note on the decidability of a strong relevant logic
• A conservative negation extension of positive semilattice logic without the finite model property
• A reinterpretation of the semilattice semantics with applications
• What is a relevant connective?
• Farewell to suppression-freedom
• A characteristic frame for positive intuitionistic and relevance logic
• Generalising tautological entailment
• Ticket entailment plus the mingle axiom has the variable-sharing property
• The relevance of premises to conclusions of core proofs
• scientific article; zbMATH DE number 1735908 (Why is no real title available?)
• A general characterization of the variable-sharing property by means of logical matrices
• Variable sharing in substructural logics: an algebraic characterization
• Strong depth relevance
• Revisiting Semilattice Semantics
• A note on the signed occurrences of propositional variables
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION
• A modal restriction of R-mingle with the variable-sharing property
• Larisa Maksimova’s Early Contributions to Relevance Logic
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• Relevance logic (to appear)
• New(ish) foundations for theories of entailment

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

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