|
国家科技期刊平台
|
注册
中文
EN
首页
|
期刊导航
|
山西矿业学院学报
|
Hilbert代数是反正蕴涵BCK-代数
Hilbert代数是反正蕴涵BCK-代数
刘方
栗继祖
山西矿业学院学报
1997,Vol.15
Issue(2):214-217,4.
下载
✕
山西矿业学院学报
1997,Vol.15
Issue(2)
:214-217,4.
Hilbert代数是反正蕴涵BCK-代数
刘方
1
栗继祖
2
作者信息
1.
采矿与土木工程系
2.
吕梁高等专科学校
折叠
摘要
关键词
Hilbert代数
/
BCK-代数
/
Boolean代数
/
反正蕴涵
分类
数理科学
引用本文
复制引用
刘方,栗继祖..Hilbert代数是反正蕴涵BCK-代数[J].山西矿业学院学报,1997,15(2):214-217,4.
山西矿业学院学报
OA
北大核心
CSCD
ISSN:
1000-1603
下载
访问量
0
|
下载量
0
段落导航
相关论文
摘要
关键词
分类
引用文本