Commutative pseudo valuations on BCK-algebras.
In this paper, using the notion of upper sets, we introduced the notions of complicated BE-Algebras and gave some related properties on complicated, self-distributive and commutative BE-algebras. In a self-distributive and complicated BE-algebra, characterizations of ideals are obtained.
We characterize congruence lattices of standard QBCC-algebras and their connection with the congruence lattices of congruence kernels.