This extends totally the structure theorem of finite simple BCK algebras by Jiang Hao to the case of infinite simple BCK-algebras.
从而把姜豪的有限单BCK-代数结构定理完整地推广到无限的情形。
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-代数的半单性，得到这类代数为半单的若干等价条件。
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 -代数的概念。
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代数中的自然推广。
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代数中的自然推广。
应用推荐