摘要
定义了一个新的蕴涵算子,证明了该蕴涵算子能构成剩余格和可交换剩余格,还证明了BL-代数是可交换剩余格的特殊情况。
A new implication operator was defined in this paper. It was proved to constitute residuated lattice and the exchangeable residuated lattice. algebra was proved to be a special case of the exchangeable residuated lattice.
出处
《新乡学院学报》
2016年第3期7-9,共3页
Journal of Xinxiang University
关键词
蕴涵算子
剩余格
BL-代数
implication operator
the residuated lattice
BL-algebra
