Buscar
Mostrando ítems 1-5 de 5
Factor congruences in BCK-algebras
(Springer Verlag Berlín, 2008-07-29)
In this paper, we characterize factor congruences in the quasivariety of BCK-algebras. As an application we prove that the free algebra over an infinite set of generators is indecomposable in any subvariety of BCK-algebras. ...
Relatively compatible operations in BCK-algebras and some related algebras
(Oxford University Press, 2017-04)
Let A be a BCK-algebra and f :A k →A a function. The main goal of this article is to give a necessary and sufficient condition for f to be compatible with respect to every relative congruence of A. We extend this result ...
Decomposability of free Łukasiewicz implication algebras
(Springer, 2006-11)
Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127-133, 1978. ...
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
(Springer Verlag Berlín, 2011-06)
In this paper, we show that free algebras in the variety of residuated lattices and some of its subvarieties are directly indecomposable and show, as a consequence, the direct indecomposability of free algebras for some ...