韩莹 李丽 孟丹 陈文丽 张宇卓 李晓冰 李慧玲 汪德刚 李孝忠 王涛 张庆德 郭方芳 袁学海 王艳平

有限扰动模糊逻辑 逻辑子代数 模糊集 模糊模态逻辑 公理独立性 算子 t-范 函子 命题逻辑公理系统 分配律 直觉模糊逻辑 直觉区间值模糊逻辑 有限区间值模糊逻辑 命题逻辑 FRA-模 同态 模糊逻辑 逻辑代数 α—重言式 t-余范 区间值模糊逻辑 Atanassov逻辑 格 模糊蕴涵 广义重言式 蕴涵算子 扰动模糊逻辑 蕴涵滤 α-重言式 模糊时序逻辑

辽宁工学院基础部 辽宁师范大学数学学院 聊城师范学院计算机系 辽宁师范大学数学系 辽宁大连 辽宁师范大学 北京师范大学