Every BCK-algebra is a set of residuables in an integral pomonoid (Q1111585): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4056047 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A representation theorem for completely join distributive algebraic lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5519895 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Preservation of bi-endomorphic composition by categorical reflection / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3879232 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Residuated Lattices / rank | |||
Normal rank |
Latest revision as of 10:50, 19 June 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