期刊文献+

有界关联BCK-代数与Boole代数 被引量:2

BOUND IMPLICATIVE BCK-ALGEBRAS AND BOOLE ALGEBRAS
下载PDF
导出
摘要 主要证明了有界关联BCK一代数与Boole代数是相互等价的代数系统. It has been proved in this paper that bounded implicative BCK-algebras and Boole algebras are each other equivalent algebraic systems.
作者 程业宏
出处 《黄冈师专学报》 1997年第4期17-19,共3页
关键词 有界关联 BCK-代数 BOOLE代数 等价性 bounded implicative BCK-algebras Boole algebras ideals
  • 相关文献

参考文献2

共引文献13

同被引文献1

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部