stat BCK-algebras 星形BCK
cycle BCK-algebras 周期BCK
simple BCK-algebras 单BCK
reflexive BCK-algebras 自反BCK
involutory BCK-algebras 对合BCK
bounded implicative BCK-algebras 有界关联BCK一代数
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-代数的半单性，得到这类代数为半单的若干等价条件。
应用推荐