Отменяемая логика - это немонотонная логика, предложенная для формализации отказоустойчивых рассуждений. В отказоустойчивой логике есть три различных типа предложений:
Может быть отдан приоритет над отменяемыми правилами и отменяющими. В процессе дедукции всегда применяются строгие правила, в то время как отменяемое правило может применяться только в том случае, если ни один побежденный с более высоким приоритетом не указывает, что это не следует делать.
.