In this paper we consider the semisimplicity of implicative BCK-algebras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.
本文考虑关联BCK-代数的半单性，得到这类代数为半单的若干等价条件。
2
In this paper, some properties of semisimple generalized vertex algebras (resp. semisimple generalized vertex operator algebras), for example the decompositions of these algebras;