- Tytuł:
- Variable Sharing in Substructural Logics: an Algebraic Characterization
- Autorzy:
- Badia, Guillermo
- Powiązania:
- https://bibliotekanauki.pl/articles/750042.pdf
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
relevant logic
algebraic characterizations of logical properties
variable sharing property
substructural logics - Opis:
- 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.
- Źródło:
-
Bulletin of the Section of Logic; 2018, 47, 2
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł