可废止逻辑,或有疏漏性逻辑,是Donald Nute提出的用来形式化有疏漏性推理的非单调逻辑。在缺省逻辑中,有三种不同类型的命题:
可以在有疏漏性规则和废止者上给出优先级。在演绎期间,硬性规则总是使用,而有疏漏性规则只能在没有更高优先级的废止者指定它不能用的时候使用。
→ 学科目录: 哲学(目录)