衍推邏輯

衍推邏輯是現代邏輯分支之一。它的一個重要特性是可以消除各種“蘊涵怪論”。衍推邏輯的建立工作至少可追溯到1956年阿克曼在《嚴密蘊涵基礎》一文中建立的幾個邏輯系統。在修改阿克曼系統的基礎之上，50年代末邏輯學家安德森和貝爾納普建立了衍推邏輯系統E和帶量詞的系統EQ。

在衍推邏輯中，不僅相干原理成立（即A-B作為定理的必要條件是A、B有共同的命題變元），而且可以由衍推“一”來定義模態概念“必然”，從而使得每一個定理都是必然真的命題。因此，衍推邏輯就是相干與必然的邏輯，它既顧及了蘊涵式前、後件之間內容上的聯繫，也顧及了前、後件之間的必然聯繫。