Przeglądaj Bulletin of the Section of Logic 47/2 (2018) według tytułu
Wyświetlanie pozycji 5-5 z 5
-
Variable Sharing in Substructural Logics: an Algebraic Characterization
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)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.