Pseudo-BCK-algebras arise as the {\, /, 1}-subreducts of integral residuated lattices. In this note pseudo-BCK-algebras that are subdirect products of linearly ordered pseudo-BCK-algebras are characterized.
Pseudo-BCK-algebras arise as the {\, /, 1}-subreducts of integral residuated lattices. In this note pseudo-BCK-algebras that are subdirect products of linearly ordered pseudo-BCK-algebras are characterized. (en)
Pseudo-BCK-algebry jsou {\, /, 1}-subredukty integrálních reziduovaných svzů. V článku jsou charakterizovány pseudo-BCK-algebry, které vznikají jako subdirektní součiny lineárně uspořádaných pseudo-BCK-algeber. (cs)