Pseudo-BCK algebras and PD-posets
Various properties of ideals and congruences are described. Connections between pseudo-BCK algebras and some partially ordered sets are studied.
scientific article; zbMATH DE number 5081683