A class of simpler logical matrices for the variable-sharing property

MaRDI QIDQ3105693zbMATH OpenFDO

Authors

Publication date 5 January 2012

zbMATH Keywords

logical matricesvariable sharing

Mathematics Subject Classification ID

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

Recommendations

• A general characterization of the variable-sharing property by means of logical matrices
• Variable sharing in substructural logics: an algebraic characterization
• On reduced matrices
• Pure variable inclusion logics
• \(n\)-valued matrices for the classical propositional logic

Cited in

(7)

• A general characterization of the variable-sharing property by means of logical matrices
• 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
• Revisiting Semilattice Semantics
• What is a relevant connective?
• Variable-sharing as relevance

This page was built for publication: A class of simpler logical matrices for the variable-sharing property

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