Smarandache BCC-algebras.
Some axiomatizations of -algebras
Some categorical aspects of BCH-algebras.
Strong ideals and horizontal ideals in pseudo-BCH-algebras
In this paper we define strong ideals and horizontal ideals in pseudo-BCH-algebras and investigate the properties and characterizations of them.
Strong implicative hyper -ideals.
Subdirectly irreducible MV-algebras
In this note we characterize the one-generated subdirectly irreducible MV-algebras and use this characterization to prove that a quasivariety of MV-algebras has the relative congruence extension property if and only if it is a variety.
Subtraction algebras and -algebras
In this note we show that a subtraction algebra is equivalent to an implicative -algebra, and a subtraction semigroup is a special case of a -semigroup.