Nejprve je každé BCK-algebře přiřazena uspořáadná struktura (podobná polosvazům), jejíž sekce mají jistá antitonní zobrazení. Zbytek je věnován algebrám definovaných na ohraničených BCK-algebrách stejným způsobem, jakým jsou definovány MV-algebry na komutativních BCK-algebrách. (cs)
First, to an arbitrary BCK-algebra a semilattice-like structure every section of which possesses a certain antitone mapping is assigned. The rest is devoted to algebras defined on bounded BCK-algebras in the same way as MV-algebras are on commutative BCK-algebras.
First, to an arbitrary BCK-algebra a semilattice-like structure every section of which possesses a certain antitone mapping is assigned. The rest is devoted to algebras defined on bounded BCK-algebras in the same way as MV-algebras are on commutative BCK-algebras. (en)