On representations of commutative BCK-algebras

• Autorzy: Dvurecenskij, A. , Graziano, M.
• Języki publikacji: EN

Abstrakty

EN

We introduce the relative cancellation property for commutative BCK-algebras and we study the problem of embedding of commutative BCK-algebras into Abelian lattice ordered groups. We show that if a BCK-algebra is not directed upwards, then we cannot use the method of Wyler and Baer. Anyway, supposing either union property or unitary extendibility, we can present the embedding of such a BCK-algebra into the positive cone of an Abelian lattice ordered group with universal property. Finally, some interesting examples are presented.

Słowa kluczowe

EN

BCK-algebra; commutative BCK-algebra; relative cancellation property; lattice ordered group; unitary extendibility; union property

• Czasopismo: Demonstratio Mathematica
• Rocznik: 1999
• Tom: Vol. 32, nr 2
• Strony: 227-246
• Opis fizyczny: Bibliogr. 14 poz.

Twórcy

autor

Dvurecenskij, A.

autor

Graziano, M.

• Mathematical Institute Slovak Academy of Sciences,