Browsing Bulletin of the Section of Logic by Subject "relevant logic"
Now showing items 1-2 of 2
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite ...
(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.