Variable Sharing in Substructural Logics: an Algebraic Characterization
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.
Sponsor
The work was supported by the Austrian Science Fund (FWF): project I 1923-N25 (New perspectives on residuated posets).Collections
Except where otherwise noted, this item's license is described as This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.