Now showing items 1-5 of 5

    • Pseudo-BCH Semilattices 

      Walendziak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      In this paper we study pseudo-BCH algebras which are semilattices or lattices with respect to the natural relations ≤; we call them pseudo-BCH join-semilattices, pseudo-BCH meet-semilattices and pseudo-BCH lattices, ...
    • 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.
    • Free Modal Pseudocomplemented De Morgan Algebras 

      Figallo, Aldo V.; Oliva, Nora; Ziliani, Alicia (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      Modal pseudocomplemented De Morgan algebras (or mpM-algebras) were investigated in A. V. Figallo, N. Oliva, A. Ziliani, Modal pseudocomplemented De Morgan algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica ...
    • Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics 

      Voutsadakis, George (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      This work adapts techniques and results first developed by Malinowski and by Marek in the context of referential semantics of sentential logics to the context of logics formalized as π-institutions. More precisely, the ...
    • Grzegorczyk Algebras Revisited 

      Stronkowski, Michał M. (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.