关于余剩余格的一点注记  

A note on co-residuated lattices

作　　者：朱怡权[1] 朱小琨[2] 

机构地区：[1]广州航海高等专科学校基础部,广州510725 [2]华中师范大学数学与统计学学院,武汉430079

出　　处：《华中师范大学学报（自然科学版）》2010年第2期204-206,共3页Journal of Central China Normal University：Natural Sciences

基　　金：国家自然科学基金项目(60875034);广东省自然科学基金项目(021073)

摘　　要：进一步研究了余剩余格的一些性质,并证明了余剩余格等价于具有条件(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.

关 键 词：余剩余格 格蕴涵代数 BCK-代数 具有条件(S)的BCK-格 

分 类 号：O141.1[理学—数学] O153[理学—基础数学]