| 关于BCK／BCI－代数的几个等价公理系 |
| |
| 引用本文： | 刘大宏. 关于BCK／BCI－代数的几个等价公理系[J]. 西安石油大学学报(自然科学版), 1995, 0(1) |
| |
| 作者姓名： | 刘大宏 |
| |
| 作者单位： | 西安石油学院基础课部 |
| |
| 摘 要： | 分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数是蕴涵ＢＣＫ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”．
|
| 关 键 词： | 蕴涵，蕴涵代数，等价公理系 |
Several Equivalent Axiom Systems on BCK/BEI-Algebra |
| |
| Liu Dahong. Several Equivalent Axiom Systems on BCK/BEI-Algebra[J]. Journal of Xian Shiyou University, 1995, 0(1) |
| |
| Authors: | Liu Dahong |
| |
| Abstract: | One equivalent axiom system is given respectively for BCK-algebra, implicative BCK-algebra,BC1-algebra and implicative BC1-algebra, which indicates that implicative BC1-algebra is the natural geveralization of implicative BCK-algebra and implication is intrinsic attributes of dual B algebra. |
| |
| Keywords: | implication implicative algebra equivalent axiom system |
| 本文献已被 CNKI 等数据库收录！ |
