次协调逻辑

次协调逻辑
次协调逻辑是不平凡的(non-trivial)逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在标准逻辑中，从矛盾中可以推导出任何东西; 这叫做 ex contradictione quodlibet (ECQ), 也叫做爆炸原理。次协调逻辑就是 ECQ 不成立的逻辑系统。

名称

次协调逻辑
次协调逻辑是尝试处理矛盾的逻辑。

简介