|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 証 ： [あかし, しょう] (n) 1. proof 2. evidence ・ 証明 ： [しょうめい] 1. (n,vs) proof 2. verification ・ 可 ： [か] 1. (n,n-suf) passable ・ 可能 ： [かのう] 1. (adj-na,n) possible 2. practicable 3. feasible ・ 可能性 ： [かのうせい] 【名詞】 1. potentiality 2. likelihood 3. possibility 4. availability ・ 能 ： [よく, のう] 1. (adv,n,vs) being skilled in 2. nicely 3. properly 4. well 5. skillfully 6. thoroughly ・ 論 ： [ろん] 【名詞】 1. (1) argument 2. discussion 3. dispute 4. controversy 5. discourse 6. debate 7. (2) theory 8. doctrine 9. (3) essay 10. treatise 1 1. comment ・ 論理 ： [ろんり] 【名詞】 1. logic ・ 理 ： [り] 【名詞】 1. reason
証明可能性論理 () は、ボックス（または"必然性"）演算子が'〜は証明可能である'と解釈されるような様相論理である。その要点は、ペアノ算術のような合理的で豊かな形式理論の証明述語の概念を捉えることである。 数々の証明可能性論理が存在し、そのいくつかは参考文献が示されている。基本的な体系は、一般的にGL (Gödel-Löb)、L または K4W として言及される。それは、Löbの定理の様相バージョンを論理 K (または K4) に加えることで得られる。それは、Robert M. Solovayによって1976年に開拓された。それから1996年までは、その分野の第一人者はGeorge Boolosであった。この分野への主要な貢献者は、Sergei Artemov、Lev Beklemishev、Giorgi Japaridze、Dick de Jongh、Franco Montagna、Vladimir Shavrukov、Albert Visserらである。解釈可能性論理は証明可能性論理の自然な拡張を表現する。 ==関連項目== * 解釈可能性論理 * クリプキ意味論 (en) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「証明可能性論理」の詳細全文を読む スポンサード リンク
|