杨合俊 兰蓉 高香妮 李立峰 张汉谦 王永安 周红军 王向云 李璧镜 郑慕聪 张诚一 王伟 秦晓燕 宋建社 周湘南 刘艳 时慧娴 任芳 马晓珏 郭秀敏 马巧云 邹尚田 关晓红 马丽娜 詹婉荣 高荣荣 范欣 于海 王龙春 胡明娣

有界变差函数 模糊命题系统Gdel和L 多Ⅰ算法 弱蕴涵代数 全蕴涵α-FMP问题 Q滤子 一阶逻辑 n值Lukasiewicz命题逻辑 Boole 代数 Fuzzy（P）滤子 三I算法 谓词逻辑 D-条件逻辑伪距离 代数证明 近性结构 三IMP解 断裂表面 可数 BR0代数 MP滤子 Lukasiewicz逻辑系统 拓扑隶属函数 公理集 伪补元 分划 断裂特性 s代数 系统L 三角模算子 格蕴涵代数

西安高技术研究所 西安交通大学基础科学研究中心 陕西师范大学数学与信息科学学院 陕西西安 山东济南 山东大学数学与系统科学学院 太原理工大学焊接研究所 华东师范大学