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—代数是有限的，并且理想的阶整除它的阶。
This extends totally the structure theorem of finite simple BCK algebras by Jiang Hao to the case of infinite simple BCK-algebras.
从而把姜豪的有限单BCK-代数结构定理完整地推广到无限的情形。
The notion of BCI implicative ideals is introduced. It is a natural generalization of the notion of implicative ideals in BCK algebras.
引入一类新理想——BCI关联理想的概念，证明了它是BCK代数中关联理想概念在BCI代数中的自然推广。
By means of which we derive and prove, with a new and general schedule of reasoning, a series of homomorphism theorems for BCK-algebras.
从而对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 -代数的性质。
In this paper, we have introduced the notion of implicative BCK-algebras with finite initial section and the notion of implicative BCK-algebras with infinite initial section.
本文建立了有限初始段关联bck -代数与无限初始段关联bck -代数的概念。
In this paper, we have introduced the notion of implicative BCK-algebras with finite initial section and the notion of implicative BCK-algebras with infinite initial section.
本文建立了有限初始段关联bck -代数与无限初始段关联bck -代数的概念。
应用推荐