BCK-algebra BCK代数
weak BCK-algebra 弱BCK
bounded BCK algebra 有界BCK代数
periodic BCK algebra 周期BCK代数
implicative BCK-algebra 蕴涵BCK代数
implicative BCK algebra 蕴涵BCK
the extension of BCK-algebra BCK代数扩张
Bounded implicative BCK algebra 有界关联的BCK代数
以上来源于: WordNet
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 -代数的性质。
应用推荐