首页 | 本学科首页   官方微博 | 高级检索  
     检索      

格蕴含代数与有界交换BCK-代数
引用本文:林伟洪.格蕴含代数与有界交换BCK-代数[J].龙岩学院学报,2003,21(3):3-4.
作者姓名:林伟洪
作者单位:黎明大学计算机系
摘    要:证明了格蕴含代数与有界交换BCK-代数是两类等价的抽象系统,因而是范畴等价的。

关 键 词:BCK-代数  范畴  等价
文章编号:1672-044X(2003)03-0003-02
修稿时间:2002年12月18

Lattice Implication Algebras and Bounded Communicative BCK-algebras
Abstract:
Keywords:
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号