Variable sharing in substructural logics: an algebraic characterization

DOI10.18778/0138-0680.47.2.03MaRDI QIDQ4556011zbMATH OpenOpenAlexWikidataFDO

Authors Guillermo Badia

Publication date 23 November 2018

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

algebraic characterizations of logical propertiesrelevant logicsubstructural logicsvariable sharing property

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
• On the algebraic structure of linear, relevance, and fuzzy logics
• Algebraic characterizations of variable separation properties
• A Note on the Relevance of Semilattice Relevance Logic
• An algebraic approach to the disjunction property of substructural logics

Cites work

• R and relevance principle revisited
• A general characterization of the variable-sharing property by means of logical matrices
• Algebraic characterizations of variable separation properties
• An algebraic approach to the disjunction property of substructural logics
• Handbook of philosophical logic. Vol. 9
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 1302673 (Why is no real title available?)
• On variable separation in modal and superintuitionistic logics
• Residuated lattices. An algebraic glimpse at substructural logics

Cited in

(6)

• A class of simpler logical matrices for the variable-sharing property
• Algebraic characterizations of variable separation properties
• A general characterization of the variable-sharing property by means of logical matrices
• A note on the signed occurrences of propositional variables
• A syntactic approach to Maksimova's principle of variable separation for some substructural logics
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

This page was built for publication: Variable sharing in substructural logics: an algebraic characterization

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