超協調描述邏輯

超協調描述邏輯是一種能包容邏輯矛盾的描述邏輯。
超協調描述邏輯是非經典描述邏輯的一個重要分支。它是能夠容納矛盾但是從矛盾卻不能推出一切的邏輯理論。超協調描述邏輯是關於從矛盾不能推出一切的理論。它限制或者否定了經典描述邏輯中矛盾律作用的普遍性，主張能夠容納矛盾的邏輯系統。但是，它又認為從矛盾不能推出一切，矛盾不能任意擴散。因為，如果包含矛盾的理論中，從矛盾又能推出一切，就會導致一個系統變得不足道或者沒有意義。所以，經典描述邏輯中的鄧斯-司各脫定理在弗協調邏輯不再有效。