相關詞條
-
直覺主義邏輯
直覺主義邏輯，或構造性邏輯是最初由阿蘭德·海廷開發的為魯伊茲·布勞威爾的數學直覺主義計畫提供形式基礎的符號邏輯。
-
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
經典邏輯與非經典邏輯基礎
一階謂詞邏輯公理系統 模態命題邏輯系統K 模態命題邏輯系統S4、B、S5
圖書信息 內容簡介 圖書目錄 -
《經典邏輯與非經典邏輯基礎》
內容簡介 邏輯是人類智慧型的核心。《經典邏輯與非經典邏輯基礎》作者...。第一部分介紹集合論的基本內容。第二部分介紹經典邏輯的基本內容，主要包括命題邏輯和謂詞邏輯。第三部分介紹非經典邏輯的基本內容。主要包括模態邏輯...
-
次協調邏輯與人工智慧
《次協調邏輯與人工智慧》共十四章和四個附錄。主要分為：次協調邏輯及其基本原理、創建次協調邏輯新系統的嘗試和次協調邏輯在人工知識領域中的套用三編。
版權資訊 媒體推薦 目錄 -
異常邏輯
（１）建立在實質蘊涵之上的真值函項的邏輯； （２）真假二值的邏輯；
-
可能世界與邏輯研究
可能世界與邏輯哲學1.1 邏輯類型論4.1 邏輯類型論的提出4.2
作者介紹 作品目錄 -
BHK釋義
輔助工具比如Coq中的“證明提取”過程。直覺類型論與直覺主義邏輯經典邏輯...。直覺主義邏輯更多地從證明論和模型論的角度展現邏輯：也就是說，它是一個構造的邏輯。所謂構造性是指：與經典邏輯只關心公式的真值不同，構造邏輯關注的是實際...
釋義 荒謬與函式 可實現性 直覺類型論與直覺主義邏輯 示例 -
馮棉
，2003－2005。主要獲獎 1. 個人專著《經典邏輯與直覺主義邏輯...講學。代表性成果 (1) 個人專著1．《經典邏輯與直覺主義邏輯...：數理邏輯，模態邏輯，邏輯哲學，相干邏輯，直覺主義邏輯。研究課題 (1) 主持...
簡介 簡歷 學術兼職 講授課程 研究課題
