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

MaRDI QIDQ3105693zbMATHFDO

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

(5)

• Revisiting Semilattice Semantics
• A general characterization of the variable-sharing property by means of logical matrices
• What is a relevant connective?
• Varieties of Relevant S5
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

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)