马巧云 韩诚 于鹏 王小敏 陈景林 乔希民 阎满富 文秋梅 王延庚 李海霞 郝加兴 李岩 娄银华 李小杰 王昭海 张秋霞 张修彦 龚加安 邵晓丽 王伟华 胡明娣 张琼 代建云 张红杰 于鸿丽 崔艳丽

命题逻辑系统 α-真度 NBL形式系统 矛盾式 R0单位区间 逻辑代数 正规滤子 广义演绎定理 条件真度 命题演算系统 半对偶形式演绎系统SL- 范畴论 P系统 乘积 Δ-根 R0-代数 Fuzzy理想 升级算法 BL-代数 广义MP问题 有界格 导集 MV-代数 BR0-代数 分解定理 紧致空间 后承关系 Luk-Lindenbaum代数 理想 α-矛盾式

四川大学数学学院 陕西师范大学数学与信息科学学院 西安文理学院数学系 商洛学院数学系 河北唐山 陕西西安 陕西师范大学数学研究所 唐山师范学院数学系