Adjoint semigroup of bounded implicative BCK algebra

• 有界蕴涵BCK代数的伴随半群