Pseudo equality algebras: revision (Q2403325)

A new type of algebras, called JK-algebras, which more precisely reflects the relation to pseudo BCK-algebras with meet in the sense of \textit{J. Kabziński} and \textit{A. Wroński} [``On equivalential algebras'', in: Proceedings of the 1975 international symposium on multiple-valued logic, India University, Bloomington. Fort Belvoir, VA: Defense Technical Infromation Center. 231-- 243 (1975)] is defined and described. Congruences of such algebras are characterized via normal closed deductive systems. Finally, the authors show that the variety of JK-algebras is subtractive and congruence permutable.