Hilbert代数是反正蕴涵BCK-代数

• 作者: 刘方 栗继祖
• 来源期刊: 山西矿业学院学报
• 学科: 数学
• 关键词: HILBERT代数 BCK-代数 Boolean代数 反正蕴涵
• 年，卷（期）: 1997,（2）
• 页码范围: 214-217
• 页数: 4页
• 分类号: O153

摘要

证明了Hilbert代数(H，→，1)是反正蕴涵的BCK-代数，即若使a*b=b→a，则(H，*，1)是正蕴涵BCK-代数。1在(H，→，1)中是最大元，而在(H，*，1)中是最小元。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘方		3	0	0.0	0.0
2	栗继祖	采矿与土木工程系	1	0	0.0	0.0