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

DOI10.1215/00294527-1715707MaRDI QIDQ435241zbMATH OpenOpenAlexFDO

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

• Depth relevance of some paraconsistent logics
• 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?)
• Relevant entailment—semantics and formal systems
• The compatibility of relevance and mingle
• The Relevant Equivalence Property

Cited in

(21)

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