A general characterization of the variable-sharing property by means of logical matrices

DOI10.1215/00294527-1715707zbMATH Open1254.03041OpenAlexW2051631797MaRDI QIDQ435241FDOQ435241

Authors: José M. Méndez, Gemma Robles 

Publication date: 11 July 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1336588252

Recommendations

• A class of simpler logical matrices for the variable-sharing property
• A Note on the Relevance of Semilattice Relevance Logic
• Variable sharing in substructural logics: an algebraic characterization
• Strong depth relevance
• \(\mathbf R\) and relevance principle revisited

zbMATH Keywords

logical matricesrelevant logicsvariable sharing

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Relevant entailment—semantics and formal systems
• Depth relevance of some paraconsistent logics
• The compatibility of relevance and mingle
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Relevant Equivalence Property

Cited In (16)

• Curry's paradox, generalized modus ponens axiom and depth relevance
• Ticket entailment plus the mingle axiom has the variable-sharing property
• Variable sharing in substructural logics: an algebraic characterization
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• The relevance of premises to conclusions of core proofs
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• A class of simpler logical matrices for the variable-sharing property
• Varieties of Relevant S5
• Boolean negation and non-conservativity II: The variable-sharing property
• A plea for KR
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
• Revisiting Semilattice Semantics
• Blocking the routes to triviality with depth relevance
• Farewell to suppression-freedom
• What is a relevant connective?
• Pure variable inclusion logics

This page was built for publication: A general characterization of the variable-sharing property by means of logical matrices

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