As was shown by the first named author, there is a most general embedding of any commutative BCK-algebra with the relative cancellation property, into a lattice-ordered group. This result provides a useful representation theorem for such BCK-algebras. In this paper the authors characterize various classes of Dedekind-complete BCK algebras, and also generalize Cignoli's theorem on the representation of complete and atomic MV-algebras (= complete atomic bounded commutative BCK algebras).
Recommendations
Cited in
(9)- Commutative BCK-algebras and quantum structures
- The Dedekind completion of d-algebras
- On fully commutative elements of type \(\tilde{B}\) and \(\tilde{D}\)
- On \(Q\)-upper algebras
- On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops
- scientific article; zbMATH DE number 5004855 (Why is no real title available?)
- scientific article; zbMATH DE number 1309088 (Why is no real title available?)
- scientific article; zbMATH DE number 1335296 (Why is no real title available?)
- scientific article; zbMATH DE number 2216930 (Why is no real title available?)
This page was built for publication: Dedekind complete commutative BCK-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583844)
