有界BCK代数相关论文
有界BCK代数是一个具有最大元和最小元的偏序集,是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象.在有界BCK代数和关联BCK代数概......
本文是作者[8]的继续,在[8]中我们引进了对偶理想的概念,本文主要讨论了,在有界BCK-代数中如何由一个集合生成对偶理想,并给出了有......