王勋 凌兴宏 高济 孙吉贵 古华茂 龚声蓉 薛锐 崔志明 林惠民 刘全 凌云 于万钧 伏玉琛

SHOIND) 方法 集合符号 TableauTAP系统 模型检测 可满足性 多值逻辑 定理机器证明 布尔剪枝 传值进程 析取范式 集合的上集下集 技术 策略 自动推理 推演完备 理论 μ-演算 广义量词 经典逻辑 描述逻辑推理 非经典逻辑