Every BCK-algebra is a set of residuables in an integral pomonoid (Q1111585): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0021-8693(88)90065-8 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1988838565 / rank | |||
Normal rank | |||
Revision as of 02:06, 20 March 2024
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
