3—5阶BCK-代数理想的分类

The Classification of Ideals in BCK-algebras with Orders from 3 to 5

Iseki.K.于1975年在BCK-代数中提出了理想和正定理想[1]。我们自1984年以来,对理想作了较深入的研究,分别于1984年和1988年提出了关联理想和可换理想的概念[3],[4]并讨论了各种理想之间的关系。理想在BCK-代数的研究中占有重要的位置。

In this note, we find out all ideals in BCK-algebtas with orders from 3 to 5.Making use of electronic computer, we divide these ideals into four classes: implicativedeals, commutative and not positive implicative ideals, positive implicative and notcommutative ideals, and neither commutative nor positive implicative ideals.