Commutative pseudo-equality algebras (Q1701928)

It is proved that an invariant pseudo-equality algebra is commutative if and only if its corresponding pseudo-BCK-meet-semilattice is commutative. Every commutative pseudo-equality algebra is a distributive lattice and every finite invariant commutative pseudo-equality algebra is a symmetric pseudo-equality algebra. The kernel of a commutative pseudo-valuation on a pseudo-equality algebra is its commutative deductive system.