Przeglądaj według

Najnowsze pozycje

  • 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.
  • 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 ...