正定关联BCI—代数  

Positive Implicative BCI-algebras

作　　者：孟杰 辛小龙 

机构地区：西北大学数学系

出　　处：《纯粹数学与应用数学》1993年第1期19-20,共2页Pure and Applied Mathematics

摘　　要：本文是作者［１］和［２］的继续，引入了正定关联ＢＣＩ－代数的概念，并证明了：正定关联ＧＢＣＫ－代数类和Ｐ－半单ＢＣＩ－代数类是正定关联ＢＣＩ－代数类的真子类。This note is a continuation of [1] and [2]. We introduce the concept ofpositive implicative BCI--algebras: a BCI-algebra X is said to be positive implicative if itsatisfies (x * (x * y)) * (y * x) =x * (x * (y * (y * x))). The following results are proved:The class of positive implicative BCK-algebras and the class of p--semisimple algebras areproper subclasses of the class of positive implicative BCI-algebras; Let X be a BCI-alge-bra. If its BCK--part B(X) is a positive implicativc BCK--algebra and if its pure BCI--partA(X) is a p--semisimple BCI--algebra, then X is a positive implicative BCI--algebra; ABCI--algebra is implicative iff it is both commutative and positive implicative.

关 键 词：正定关联 可换BCI代数 BIC代数 P半单代数 

分 类 号：O153.3[理学—数学]