可废止逻辑
有疏漏性邏輯是 Donald Nute 提出的用來形式化有疏漏性推理的非單調邏輯。在預設邏輯中，有三種不同類型的命題：

硬性規則：指定一個事實總是另一個事實的結論；
有疏漏性規則：指定一個事實典型的是另一個事實的結論；
廢止者：指定對有疏漏性規則的例外。可以在有疏漏性規則和廢止者上給出優先級。在演繹期間，硬性規則總是使用，而有疏漏性規則只能在沒有更高優先級的廢止者指定它不能用的時候使用。