pseudo-bck algebra 具有条件的伪
BCK-algebra BCK代数
weak BCK-algebra 弱BCK
strong BCK-algebra 强BCK
bounded BCK algebra 有界BCK代数
Bounded BCK-algebra 有界BCK
periodic BCK algebra 周期BCK代数
incidence BCK algebra 关联BCK代数
commutative 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 -代数的性质。
应用推荐