缺省逻辑是 Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑。
数学中比的故事 《科学究竟是什么》 辩证逻辑 模态逻辑 命题逻辑 一阶理论及其元逻辑 形式逻辑 RDO 集合论 SHOW LESS SHOW MORE (9)