对合BCK—代数

The Involutorial BCK -algebras

本文给出对合BCK—代数的概念,系统地讨论了它的有关性质,并得到了下面的结果: 1、非交换对合BCK—代数的阶数至少为4; 2、在同构意义下,四阶非交换对合BCK—代数有且只有一个。

In this paper we introduce the notion of involutorial BCK - algebras and discuss xys-tematicly its properties concerned and obtain the following results as well:1.The order of non - commutative involutorial BCK - algebras is at least 4.2.The non-commutative BCK - algebra of order four has and only has one number in thesense of isomorphism .