On the Adjoint Semigroup of Implicative BCK-algebras  

关于蕴涵BCK-代数的伴随半群(英文)

作　　者：罗敏霞[1] 宋建社 

机构地区：[1]陕西师范大学数学系,陕西西安710062 [2]西安高新技术研究所数学系,陕西西安710025

出　　处：《Chinese Quarterly Journal of Mathematics》2001年第4期7-14,共8页数学季刊（英文版）

基　　金：SupportedbyNationalNaturalScienceFoundationofChina( 6 99310 40 )

摘　　要：We prove that the adjoint semigroup of an implicative BCK algebra is an upper semilattice, and the adjoint semigroup of an implicative BCK algebra with condition(s) is a generalized Boolean algebra. Moreover we prove the adjoint semigroup of a bounded implicative BCK algebra is a Boolean algebra.

关 键 词：implicative BCK  algebra upper semilattice LATTICE Boolean algebra 

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