马新生 黄朝霞 马盈仓 隋云云 吴洪博 马巧云 折延宏 李大法 韦奉岐 杨晓斌 关晓红 徐为民 兰蓉 于鸿丽 李骏 霍书全 王国俊 龚启荣 裴道武 叶继昌

配对 零位命题 准重言式 离散数学 多值逻辑系统 永真蕴含式 广义语义MP规则 广义语义HS规则 参数Kleene系统 判断理论 高阶逻辑 传统逻辑 归结 内限 分化 分划 子代数 广义重言式 α-重言式 矛盾式 判定方法 一阶逻辑 推理式 蕴涵算子 公理系统 t-模 蕴含算子 命题变元 指派 非线性序集