丁德成 张明义 董明楷 许道云 史忠植 赵希顺 胡久稔 蒋运承 韩庆 岳安步 林作铨 张颖 王克文

扩张 非单调推理 算法 （联合）相容性 累加性 自相容 Horn缺省规则 分情形推理 扩张 描述逻辑 超协调逻辑 子句型缺省理论 复杂性 双缺省理论 非单调超协调逻辑 非单调逻辑 轻信推理 四值逻辑 辩论推理 累积性 缺省可满足性 特殊性 稳定扩充 缺省包含

扩张