pseudo-bck algebra 具有条件的伪
weak BCK-algebra 弱BCK
bounded BCK algebra 有界BCK代数
strong BCK-algebra 强BCK
Bounded BCK-algebra 有界BCK
periodic BCK algebra 周期BCK代数
incidence BCK algebra 关联BCK代数
implicative BCK-algebra 蕴涵BCK代数
以上来源于: WordNet
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—代数是有限的,并且理想的阶整除它的阶。
In this paper we consider the semisimplicity of implicative BCK-algebras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.
本文考虑关联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 -代数的性质。
应用推荐