非古典邏輯

维基百科,自由的百科全书
跳到导航 跳到搜索

非古典邏輯(英語:Non-classical logic),概括了在古典邏輯體系之外的各種形式系統,這些系統在命題謂詞等方面,與古典邏輯不同。

隨著現代哲學邏輯理論計算機科學的發展,推動了非古典邏輯發展。

例子[编辑]

被歸類為非古典邏輯的系統包括: