可废止逻辑是Donald Nute 提出的用来形式化可废止推理的非单调逻辑。
实时调度 休莫问题 潘承洞 非标准逻辑中的自动演绎 Windows+95 《波尔-罗亚尔逻辑》 中国国医节 事实推定 命题逻辑 SHOW LESS SHOW MORE (9)