| 关于蕴涵BCK—代数的伴随半群 |
| |
| 引用本文： | 罗敏霞,宋建社.关于蕴涵BCK—代数的伴随半群[J].数学季刊,2001,16(4):7-14. |
| |
| 作者姓名： | 罗敏霞 宋建社 |
| |
| 作者单位： | [1]陕西师范大学数学系，陕西西安710062 [2]西安高新技术研究所数学系，陕西西安710025 |
| |
| 基金项目： | SupportedbyNationalNaturalScienceFoundationofChina( 6 99310 40 ) |
| |
| 摘 要： | 我们证明了蕴涵BCK-代数的伴随半群是一个上半格；具有条件（s)的蕴涵BCK-代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴涵BCK-代数的伴随半群是一个布尔代数。
|
| 关 键 词： | 蕴涵BCK－代数 上半格 格 布尔代数 伴随半群 |
On the Adjoint Semigroup of Implicative BCK-algebras |
| |
| LUO Min xia ,SONG Jian she.On the Adjoint Semigroup of Implicative BCK-algebras[J].Chinese Quarterly Journal of Mathematics,2001,16(4):7-14. |
| |
| Authors: | LUO Min xia SONG Jian she |
| |
| Institution: | LUO Min xia 1,SONG Jian she 2 |
| |
| Abstract: | 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. |
| |
| Keywords: | implicative BCK algebra upper semilattice lattice Boolean algebra |
| 本文献已被 CNKI 维普 等数据库收录！ |
