奚颖瑞 吴洪博 杨洪娟 张秋霞 王伟华 王钢 张宇卓 魏民 徐泓 李博 曹怀军 陈图云 于汝川 韩莹 单嘉量 陈广宏 邵晓丽 白庆余 杨绍文 王晓珺 顾秀英

化简 次BL代数 广义重言式 逻辑度量空间 降维变量 R0-代数 线性序拓扑 降维卡诺图 R0代数 逻辑函数化简 降维函数 计算机 可编程控制器 对合次BL代数 门深度数变量 弱BR0代数 逻辑变量 反心理主义 簇 逻辑推理 公理化定义 数理逻辑 逻辑方程 伪BR0代数 BR0代数 格 定义的等价性 蕴涵算子 集合 门级数变量