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

zbMATH Open1254.03045MaRDI QIDQ3105693FDOQ3105693

Authors:

Publication date: 5 January 2012

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

zbMATH Keywords

logical matricesvariable sharing

Mathematics Subject Classification ID

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

Cited In (5)

• 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
• Revisiting Semilattice Semantics
• What is a relevant connective?

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)