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

DOI10.1215/00294527-1715707MaRDI QIDQ435241zbMATHOpenAlexFDO

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

zbMATH Keywords

logical matricesrelevant logicsvariable sharing

Mathematics Subject Classification ID

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

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
• R and relevance principle revisited

Cites work

• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 2062375 (Why is no real title available?)
• Depth relevance of some paraconsistent logics
• Relevant entailment—semantics and formal systems
• The Relevant Equivalence Property
• The compatibility of relevance and mingle

Cited in

(16)

• Revisiting Semilattice Semantics
• Ticket entailment plus the mingle axiom has the variable-sharing property
• Boolean negation and non-conservativity II: The variable-sharing property
• Blocking the routes to triviality with depth relevance
• Farewell to suppression-freedom
• What is a relevant connective?
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• Curry's paradox, generalized modus ponens axiom and depth relevance
• A class of simpler logical matrices for the variable-sharing property
• Varieties of Relevant S5
• The relevance of premises to conclusions of core proofs
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• Variable sharing in substructural logics: an algebraic characterization
• 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
• 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)