韩莹 李丽 孟丹 陈文丽 张宇卓 李晓冰 李慧玲 汪德刚

有限扰动模糊逻辑 逻辑子代数 模糊集 模糊模态逻辑 公理独立性 算子 t-范 函子

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