姜慧 袁庆生

颗粒格 成分 R0链 扩张 模糊开关函数 蕴涵格 同构 一阶形式系统K 非冗余形式 完备格 语义 颗粒表示格 模糊逻辑 模糊谓词演算 子代数 语法 独立性 素形式 正规剩余格 广义重言式 多值逻辑 极小形式 基于正规剩余格的逻辑系统 簇 R0代数 形式演绎系统 弱R0代数 完备性 重言式

盐城师范学院数学系 江苏盐城 陕西师范大学数学研究所 西安工业学院数理系 盐城师范学院 四川大学数学学院 陕西师范大学数学系 陕西西安