Every BCK-algebra is a set of residuables in an integral pomonoid (Q1111585)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Every BCK-algebra is a set of residuables in an integral pomonoid |
scientific article |
Statements
Every BCK-algebra is a set of residuables in an integral pomonoid (English)
0 references
1988
0 references
It is shown that every BCK-algebra is isomorphic to a sub-algebra of the residuation-reduct of some integral commutative monoid with residuation. This result can be easily derived from embedding theorems of \textit{H. Ono} and \textit{Y. Komori} [J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018)] and \textit{M. Pałasiński} [An embedding theorem for BCK-algebras, Math. Semin. Notes, Kobe Univ. 10, 749-751 (1982)]. It was also stated by \textit{A. Wroński} [Math. Jap. 30, 187-193 (1985; Zbl 0569.03029)].
0 references
BCK-algebra
0 references
residuation-reduct
0 references
integral commutative monoid with residuation
0 references
embedding
0 references