关于 BCK-代数中对偶理想的一个定理(英文)

A theorem on dual ideals in BCK-algebras

证明文[3]中的若干定理的交换性要求可以去掉.主要结论是:若X是有界BCK代数,D是X的对偶理想,一定存在从DI(X,D)到DI(XD)

In this paper we prove that the commutativity requirement in some theorems of reference [3] can be removed. The major result is: Let X be a bounded BCK algebra, D is a dual ideal, then there exists a bijection from DI(X,D) to DI(X/D) .