Dedekind complete commutative BCK-algebras

被引:1
|
作者
Dvurecenskij, A
Graziano, MG
机构
[1] Slovak Acad Sci, Inst Math, SK-81473 Bratislava, Slovakia
[2] Univ Naples Federico II, Dipartimento Matemat & Applicaz R Caccioppoli, I-80126 Naples, Italy
关键词
atomic BCK-algebra; commutative BCK-algebra; Dedekind complete BCK-algebra; relative cancellation property; subdirect product; universal group;
D O I
10.1023/A:1006409215452
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We study Dedekind complete commutative BCK-algebras with the relative cancellation property and their connection with corresponding universal groups. We shall characterize Dedekind orthogonally complete atomic and Archimedean BCK-algebras, generalizing results of Jakubik known for MV-algebras. Finally, we characterize those Dedekind complete and atomic commutative BCK-algebras that are isomorphic to direct products of basic BCK-chains, generalizing a result of Cignoli for MV-algebras.
引用
收藏
页码:23 / 41
页数:19
相关论文
共 50 条