Variable Sharing in Substructural Logics: an Algebraic Characterization

DOI10.18778/0138-0680.47.2.03zbMath1445.03033OpenAlexW2910230478WikidataQ128580947 ScholiaQ128580947MaRDI QIDQ4556011

Guillermo Badia

Publication date: 23 November 2018

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.47.2.03

zbMATH Keywords

relevant logicsubstructural logicsalgebraic characterizations of logical propertiesvariable sharing property

Mathematics Subject Classification ID

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

Related Items (1)

The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

Cites Work

• \(\mathbf R\) and relevance principle revisited
• A general characterization of the variable-sharing property by means of logical matrices
• Residuated lattices. An algebraic glimpse at substructural logics
• Handbook of philosophical logic. Vol. 9
• On variable separation in modal and superintuitionistic logics
• An algebraic approach to the disjunction property of substructural logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Variable Sharing in Substructural Logics: an Algebraic Characterization