Variable Sharing in Substructural Logics: an Algebraic Characterization
Bulletin of the Section of Logic, Tome 47 (2018) no. 2.

Voir la notice de l'article provenant de la source Library of Science

We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.
Keywords: relevant logic, algebraic characterizations of logical properties, variable sharing property, substructural logics
@article{BSL_2018_47_2_a4,
     author = {Badia, Guillermo},
     title = {Variable {Sharing} in {Substructural} {Logics:} an {Algebraic} {Characterization}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {47},
     number = {2},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2018_47_2_a4/}
}
TY  - JOUR
AU  - Badia, Guillermo
TI  - Variable Sharing in Substructural Logics: an Algebraic Characterization
JO  - Bulletin of the Section of Logic
PY  - 2018
VL  - 47
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2018_47_2_a4/
LA  - en
ID  - BSL_2018_47_2_a4
ER  - 
%0 Journal Article
%A Badia, Guillermo
%T Variable Sharing in Substructural Logics: an Algebraic Characterization
%J Bulletin of the Section of Logic
%D 2018
%V 47
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2018_47_2_a4/
%G en
%F BSL_2018_47_2_a4
Badia, Guillermo. Variable Sharing in Substructural Logics: an Algebraic Characterization. Bulletin of the Section of Logic, Tome 47 (2018) no. 2. http://geodesic.mathdoc.fr/item/BSL_2018_47_2_a4/