可废止逻辑是 Donald Nute 提出的用来形式化可废止推理的非单调逻辑。在缺省逻辑中，有三种不同类型的命题:

硬性规则

指定一个事实总是另一个事实的结论；

可废止规则

指定一个事实典型的是另一个事实的结论；

废止者

指定对可废止规则的例外。

可以在可废止规则和废止者上给出优先级。在演绎期间，硬性规则总是应用，而可废止规则只能在没有更高优先级的废止者指定它不能用的时候应用。