|
|||||
|
|
| Hilbert代数是反正蕴涵BCK-代数 | |
| 引用本文： | 刘方,栗继祖.Hilbert代数是反正蕴涵BCK-代数[J].山西矿业学院学报,1997,15(2):214-217. |
| 作者姓名： | 刘方 栗继祖 |
| 作者单位： | 吕梁高等专科学校 |
| 摘 要： | 证明了Ｈｉｌｂｅｒｔ代数（Ｈ，→，１）是反正蕴涵的ＢＣＫ－代数，即若使ａ＊ｂ＝ｂ→ａ，则（Ｈ，＊，１）是正蕴涵ＢＣＫ－代数。１在（Ｈ，→，１）中是最大元，而在（Ｈ，＊，１）中是最小元。 |
| 关 键 词： | Hilbert代数 BCK－代数 Boolean代数 |
Hilbert algebras are anti positive implicative BCK algebras |
|
| Authors: | Liu Fang |
| Abstract: | |
| Keywords: | Hilbert algebras BCK algebras Boolean algebras |
| 本文献已被 维普 等数据库收录！ | |