In this paper we consider the semisimplicity of implicative BCK-algebras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.
本文考虑关联BCK-代数的半单性，得到这类代数为半单的若干等价条件。
In particular we prove that the bounded BCK-algebra With bases is finite and its order is divided by the orders of its ideals.
特别地，我们有：具有基的有界bck—代数是有限的，并且理想的阶整除它的阶。
Making use of these results, we can conveniently obtain the characters of a BCK-algebra of a higher order from the known characters of a BCK-algebra of a lower order.
利用这些结论，能很方便地从低阶bck -代数的已知性质来推断高阶bck -代数的性质。
Making use of these results, we can conveniently obtain the characters of a BCK-algebra of a higher order from the known characters of a BCK-algebra of a lower order.
利用这些结论，能很方便地从低阶bck -代数的已知性质来推断高阶bck -代数的性质。
应用推荐