On pseudo-equality algebras. (Q403404): Difference between revisions

The author considers properties of pseudo-equality algebras and gives a correct proof of the result that the pseudo-equality algebras are term equivalent with pseudo-BCK algebra meet-semilattices, which was proved in the paper by \textit{S. Jenei} and \textit{L. Kóródi} [Arch. Math. Logic 52, No. 5-6, 469-481 (2013; Zbl 1300.06004)], but unfortunately had a gap in their proof. The author also defines several new classes of pseudo-BCK algebras and proves basic results for those algebras.