Browsing Bulletin of the Section of Logic 47/2 (2018) by Title
Now showing items 2-5 of 5
-
Free Modal Pseudocomplemented De Morgan Algebras
(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 ... -
Grzegorczyk Algebras Revisited
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras. -
Pseudo-BCH Semilattices
(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
(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.