翻訳と辞書 Words near each other ・ 証拠隠滅 ・ 証拠隠滅罪 ・ 証文 ・ 証明 ・ 証明 (シギの曲) ・ 証明 (松本清張) ・ 証明ティンエイジャー ・ 証明写真 ・ 証明可能安全性 ・ 証明可能安全性を持つ暗号 ・ 証明可能性論理 ・ 証明妨害 ・ 証明妨害の法理 ・ 証明書 ・ 証明書、診断書、検案書、医療説明書 ・ 証明書を撮影するカメラ ・ 証明書失効リスト ・ 証明書署名要求 ・ 証明済み ・ 証明理論 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 証明可能性論理 ： ウィキペディア日本語版 証明可能性論理[しょうめいかのうせいろんり] 証明可能性論理 () は、ボックス（または"必然性"）演算子が'〜は証明可能である'と解釈されるような様相論理である。その要点は、ペアノ算術のような合理的で豊かな形式理論の証明述語の概念を捉えることである。 数々の証明可能性論理が存在し、そのいくつかは参考文献が示されている。基本的な体系は、一般的に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）』 ■ウィキペディアで「証明可能性論理」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.