杨合俊 兰蓉 高香妮 李立峰 张汉谦 王永安 周红军 王向云

有界变差函数 模糊命题系统Gdel和L 多Ⅰ算法 弱蕴涵代数 全蕴涵α-FMP问题 Q滤子 一阶逻辑 n值Lukasiewicz命题逻辑

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