This extends totally the structure theorem of finite simple BCK algebras by Jiang Hao to the case of infinite simple 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-代数的半单性，得到这类代数为半单的若干等价条件。
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代数中的自然推广。
应用推荐