BCK代数 BCK-algebra ; BCK-algebras

关联BCK代数 incidence BCK algebra

周期BCK代数 periodic BCK algebra

BCK代数扩张 the extension of BCK-algebra

有界BCK代数 bounded BCK algebra

蕴涵BCK代数 implicative BCK-algebra

正蕴涵BCK代数 positive implic ative BCK algebra

有界关联的BCK代数 Bounded implicative BCK algebra

有界可换分配的BCK代数 Bounded commutative distributive BCK algebra

有界关联BCK一代数 bounded implicative BCK-algebras