根岑(Gentzen, Gerhard Karl Erich, 1909-1945年)德國數學家.
根岑(Gentzen, Gerhard Karl Erich, 1909-1945年)德國數學家.生於格賴夫斯瓦爾德(Greif-swald )，卒於捷克布拉格.1932年獲博士學位.1934-1943年，在哥廷根為希爾...
是德國的數學家和邏輯學家。簡介 生於德國的Greifswald，由於效力納粹而被逮捕之後，餓死於古拉格附近的戰俘營中。他在1929年到1933年期間是 Hermann Weyl 在哥廷根大學的學生之一。他的主要工作是數學基礎中的證明論，特別是自然演繹和相繼式演算。他的切消定理是證明論語義的基石，《邏輯演繹研究》中的某些哲學評論...
根岑謂詞演算系統是一個數學名詞。根岑謂詞演算系統(Gentzen system of predi- cate calculus)古典的和直覺的謂詞演算系統的總稱.根岑系統是根據根岑(Gentzen , G.)提出的根岑方法建立起來的，根岑方法的兩個顯著特徵是:通常的公理系統是儘量使用較少的規則，為此而不惜增加公理.但根岑方法與之相反，寧可增加規則而...
根岑式演繹 根岑式演繹（Gentzen-style deduction）是2018年公布的計算機科學技術名詞。定義 根岑（Gentzen）於1934年提出的證明論中一族用於形式證明的系統，區別於希爾伯特演繹系統，它們對每個聯接或量詞都有簡單明了的推理規則。出處 《計算機科學技術名詞 》第三版。
現代形式的自然演繹是由德國數學家格哈德·根岑於1935年在一篇提交給哥廷根大學數學系的學位論文中獨立提出的。術語自然演繹就是在那篇論文中出現的:首先我希望構造儘可能緊密於實際推理的一種形式化主義。所以提議了“自然演繹演算”。— Gentzen, 《Untersuchungen über das logische Schließen》(Mathematische ...
這兩種系統都有專門的名稱，嚴格地說，基於公理進行推理推演、並具有句法要求的證明系統是形式公理系統，簡稱形式系統，大致上稱之為“希爾伯特風格的證明”系統；而僅僅基於句法規則進行轉換的證明系統即自然演繹系統，大致上稱之為“根岑風格的證明”系統(“希爾伯特風格”和“根岑風格”還有其他區別，但核心的區別在於此...
《漢語照應省略的類型邏輯研究》內容有“NP1+VP1+得NP2+C”型“得”字結構、範疇語法與類型邏輯語法、根岑表述與自然語言推演、照應現象與類型邏輯語法、擴展套用——非代詞的回指、基於LLCW'的漢語照應省略現象分析等。內容簡介 《漢語照應省略的類型邏輯研究》由對外經濟貿易大學出版社出版。圖書目錄 第一章類型...
切消定理是確立相繼式演算重要性的主要結果。它最初由格哈德·根岑在他的劃時代論文《邏輯演繹研究》對分別形式化直覺邏輯和經典邏輯的系統LJ和LK做的證明。切消定理聲稱在相繼式演算中，擁有利用了切規則的證明的任何判斷，也擁有無切證明，就是說，不利用切規則的證明。切消定理簡介 相繼式是與多個句子有關的邏輯...
《結構證明論》是2019年科學出版社出版的圖書，作者是馬明輝。內容簡介 結構證明論研究形式系統中證明的結構.《結構證明論》介紹經典邏輯和直覺主義邏輯的自然演繹和矢列演算,它們是結構證明論的基礎理論.根岑式矢列演算的基本定理是切割消除. 運用證明論研究方法, 通過分析證明的結構可以得到一些邏輯性質,如子公式性質...
線性矢列演算(linear sequent calculus)線性邏輯的根岑型推理系統。在此就命題演算介紹這樣的系統.公式由聯結詞②,c.田,①作用於原子命題及其否定以及常元，1，土，T,0而得，公式的否定由德·摩根律定義:在以上的演算中可加上量詞、模態詞和無窮聯結詞，然而線性邏輯的本質完全可在以上系統中體現，在添加這些內容...
中介邏輯(medium logic)在中介原則觀點下建立起來的一種非經典邏輯.狹義地，中介邏輯僅指中介邏輯演算系統ML.廣義地，中介邏輯除了它的基礎部分，即演算系統ML之外，還應包括中介公理集合論系統MS，以及後來發展起來的中介代數系統、中介模態邏輯、中介邏輯的根岑系統、中介模型論等.廣義中介邏輯簡記為MM 中介邏輯(medium...
歸納推演法則（inductive inference），一種推演法則。下述推演法則稱為歸納推演法則:其中a不在Fco＞,r,o中出現，s是任意項，a稱為這個推演法則的本徵變元.式(1)這種表現形式主要見於根岑系統中(參見“根岑系統”). 歸納推演法則可表示為 其中a不出現於F中，t是任意項，此種表現形式可套用於各種系統中.
3.6 混合邏輯的根岑演算 3.6.1 使用一階語言解說混合語義 3.6.2 一階邏輯的根岑演算 3.6.3 IECI：混合邏輯 3.6.4 GH（@，↓）與KH（@，↑）之比較 3.6.5 關於@前綴系統中的子公式性質 3.7 傳統混合邏輯簡史 第4章 拓撲邏輯 4.1 拓撲模型和子集模型 4.2 與拓撲空間有關的一些概念 4.3 ...
八、達米特的模型與根岑（Gentzen）九、語句的情境與後果 十、“派生”、普賴爾（Prior）、貝爾納普(Belnap)和保守性 十一、“德國佬”以及對推論承諾的闡明 十二、協調一致與實質推論 十三、從語義學到語用學 第二章 行動、規範及實踐推理 一、某種背景 二、路徑 三、實踐推理的三種類型 四、實踐推理的實質特性 ...
