期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Hilbert代数是反正蕴涵BCK-代数 被引量：1
1
作者 刘方 栗继祖 《山西矿业学院学报》 1997年第2期214-217,共4页
证明了Ｈｉｌｂｅｒｔ代数（Ｈ，→，１）是反正蕴涵的ＢＣＫ－代数，即若使ａ＊ｂ＝ｂ→ａ，则（Ｈ，＊，１）是正蕴涵ＢＣＫ－代数。１在（Ｈ，→，１）中是最大元，而在（Ｈ，＊，１）中是最小元。
关键词 HILBERT代数 BCK-代数 Boolean代数 反正蕴涵
下载PDF
BCK-代数中的希尔伯特代数理想
2
作者 张秋娜 《河北北方学院学报（自然科学版）》 2007年第6期6-7,10,共3页
结合BCK-代数的理想和性质以及希尔伯特代数的性质,给出了BCK-代数中的希尔伯特代数理想的定义和一些性质.
关键词 理想 希尔伯特代数 BCK-代数 反正蕴涵BCK-代数
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部