摘要
一个BCK-代数【X;*,0】叫做关联的,如果它满足 (1).x*(y*x)=x K.Is’eki[2]证明了满足(1)的BCI-代数是一个BCK-代数。于是为了引入关联BCI-代数概念,先给出关联BCK-代数的等价条件。本文将不加说明地引用[1]中的记号和结论。
This note is a codtinuation of [1]. We introduce the concept of ImplicativeBCI--algebras and discuss its properties and structure. The main results are the following:(i). Implicative BCI--algebras must be commutative; (ii).Every branch of an implicativeBCI-algebra is a Boolean algebra; (iii). Implicative BCI-algebras form a variety.
出处
《纯粹数学与应用数学》
CSCD
1992年第2期99-103,共5页
Pure and Applied Mathematics
