In this paper we consider the semisimplicity of implicative BCK-alge-bras and obtain several equivalent conditions which an implicative BCK-algebra is semisimple.

• 本文考虑关联BCK-代数的半单性，得到这类代数为半单的若干等价条件。