于鸿丽 兰蓉 马盈仓 岑枫 陈永胜 薛占熬 陈文丽 韩莹 韦奉岐 时慧娴 陈图云 李晓冰 卫利萍 周红军 吴洪博 张宇卓 李丽 李霞 裴道武 韩诚 王国俊 王龙春 李骏

ζ-真度 广义语义HS规则 不动点 σ-（ζ-重言式） 重言式 参数Kleene系统 广义真度推理规则 子代数 Lukasiewicz命题逻辑 广义拟重言式 多值逻辑系统 广义语义MP规则 逻辑代数 Hα逻辑系统 模糊粗糙逻辑 多值逻辑 正则R0-代数 修正的Kleene系统 有限扰动模糊逻辑 粗糙逻辑 α-重言式 L系统 扰动模糊逻辑 区间值模糊逻辑 左连续 完备性 克里普克语义 模糊逻辑 命题逻辑 区间值逻辑