BCK—代数的对偶理想

若X是一个集,*是X上的一个二元运算。0是X的一个常元, 满足V~(x,y,z)∈X(K1)(x*y)*(x*y)z*y,(K2)x*(x*y)y,(K3)xx,

Dual ideals of BCK-algebras

In this note, at first, we point out on important error in Meference 2] . Next, we give a class of new dual ideals which is exactly dual to the ideals introduced by Is'eki 7 ].we also construct the guotient algebra with respect to these dual ideals and study some of their important properties. Moreover, we show that in setting of boun-ded implicative BCK-algebras, our results will imply those of 2] §4 , and so the error of 2] is corrected.