正则余剩余格的特征及其应用.pdf.pdf

第 卷 第 期 年 月 !+ ! #$$ ! ! ! 研究简讯 ! ! 正则余剩余格的特征及其应用! 郑慕聪 王国俊 ! 陕西师范大学数学与信息科学学院!西安 +!%% 摘要 余剩余格理论是研究逻辑代数系统的重要工具!而余剩余格的代数结构本身就具有普遍 !! 性和代表性 文中对余剩余格的定义和性质进行研究!给出了余剩余格的特征定理!并且引入正 # 则余剩余格的概念!进而讨论了正则余剩余格的特征定理!同时证明了正则余剩余格与正则剩余 格的一致性 最后!基于正则余剩余格的特征定理给出了几类逻辑代数系统的等价刻画 # # 关键词 余伴随对 余剩余格 剩余格 正则余剩余格 多值逻辑 ! ! ! ! ! ! 众所周知!多值逻辑系统与相应的代数系统的 与 互为余伴随!若以下条件成立# !! E F 研究是紧密相关的 早在 年!著名逻辑学家 $ # 是单调递增的( # !*,) ! )O) ) E ’ 为解决 多值逻辑系统的完备性 $ # 是关于第一变量不减的!关 0;7= V?Z7@8C8BK )O) ) F ’ 而引入 了 代 数 的理 论 并 成 功 地 证 明 了 于第二变量不增的( P-( % 系统的完备性 ! 不同的多值逻辑系统 $ 当且仅当 ! ! ! V?Z7@8C8BK # $ / = A / A = = A / )( ) E F ) ( %’ 对应着不同的逻辑代数系统 ! , !基于三角模的剩 这时 ! $叫做 上的余伴随对 E F ) ( % ! $ 余格理论是研究这些逻辑代数系统的重要工具 , # 定义 ! 有界格 ! ! ! $叫余剩余格! ! W * + % 有关各类逻辑代数系统的研究已取得了丰硕成 若 %’ 果 ! !$ !这些研究成果既促进了多值逻辑的发展! $ 上有余伴随对 ! $(