王国俊 莫绍揆 张焕国 王金华 张帆 杨飏 王辉 孙明湘 李大法 孙舒杨 钱李新 孙成敏 周红军 潘孝铭 周继鹏 张蕾 邱文 徐士伟 刘大有

选择公理 γ解释 完备性定理 Markov逻辑网 保持定理 代数证明 反例 向前向后方法 高阶逻辑 公理集合论 前束范式 推理规则 自动定理证明 完备性 范式定理 归结 Lindenbaum代数 配对 逻辑史 概念图匹配 合一算法 Q滤子 机器学习 Markov网 内插定理 概念 弗雷格 参态逻辑 归纳证法 可信平台模块