Now showing items 1-2 of 2

    • Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E 

      Typańska-Czajka, Lidia (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 ...
    • Variable Sharing in Substructural Logics: an Algebraic Characterization 

      Badia, Guillermo (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.