ArticleOriginal scientific text
Title
Variable Sharing in Substructural Logics: an Algebraic Characterization
Authors
Abstract
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
Main language of publication
English
Published
2018
Humanities