根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德國數學家.生於格賴夫斯瓦爾德(Greif-swald )，卒於捷克布拉格.1932年獲博士學位.1934-1943年，在哥廷根為希爾伯特(Hil6ert,D. )當了10年助手，後任教於布拉格大學.他在《基本定理》中強化了演繹系統，完成了古典分析系統相容性證明的部分工作，給出希爾伯特一根岑定理，將希爾伯特的邏輯公理計畫推進到新的階段.此外，他還證明過一些初等數論中的問題.
根岑(Gentzen, Gerhard Karl Erich, 1909-1945)德國數學家.生於格賴夫斯瓦爾德(Greif-swald ),卒於捷克布拉格.1932年獲博士學位.1934-1943年,在哥廷根為...
他的切消定理是證明論語義的基石,《邏輯演繹研究》中的某些哲學評論和維根斯坦的格言"意義是使用"一起建立了推論角色語義的基礎。格哈德·根岑哲學思想與邏輯理論...
根岑謂詞演算系統(Gentzen system of predi- cate calculus)古典的和直覺的謂詞演算系統的總稱.根岑系統是根據根岑(Gentzen , G.)提出的根岑方法建立起來的,...
切消定理是確立相繼式演算重要性的主要結果。它最初由格哈德·根岑在他的劃時代論文《邏輯演繹研究》對分別形式化直覺邏輯和經典邏輯的系統LJ和LK做的證明。切消...
其中a不在Fco>,r,o中出現,s是任意項,a稱為這個推演法則的本徵變元.式(1)這種表現形式主要見於根岑系統中(參見“根岑系統”). 歸納推演法則可表示為...
《漢語照應省略的類型邏輯研究》內容有“NP1+VP1+得NP2+C”型“得”字結構、範疇語法與類型邏輯語法、根岑表述與自然語言推演、照應現象與類型邏輯語法、擴展套用...
廣義地,中介邏輯除了它的基礎部分,即演算系統ML之外,還應包括中介公理集合論系統MS,以及後來發展起來的中介代數系統、中介模態邏輯、中介邏輯的根岑系統、中介模型論...
線性矢列演算(linear sequent calculus)線性邏輯的根岑型推理系統。... 線性矢列演算(linear sequent calculus)線性邏輯的根岑型推理系統。在此就命題演算介紹這樣的...