Variable Sharing in Substructural Logics: an Algebraic Characterization
Streszczenie
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.
Instytucja finansująca badania
The work was supported by the Austrian Science Fund (FWF): project I 1923-N25 (New perspectives on residuated posets).Collections
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.