摘要
进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(S)的BCK-格,最后基于余剩余格的形式给出了格蕴涵代数的一种等价刻画.所得结果将有助于深入了解余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径.
This paper discusses some properties of the co-residuated lattices, and proves that, co-residuated lattices are equivalent to BCK-lattice with condition （S）. Finally, it provides an equivalent characterization of lattice implication algebra based on the form of co-residuated lattices. These results will be useful for further studying the interior structures of co-residuated lattices, and also offer a new way for researching relative manyvalued logic systems.
出处
《华中师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2010年第2期204-206,共3页
Journal of Central China Normal University：Natural Sciences
基金
国家自然科学基金项目(60875034)
广东省自然科学基金项目(021073)
作者简介
E—mail：zhuyiquan@126．com．
