翻訳と辞書 Words near each other ・ 解説放送 ・ 解説書 ・ 解説者 ・ 解読 ・ 解読不能 ・ 解読部位 ・ 解適合格子法 ・ 解部 ・ 解釈 ・ 解釈主義 ・ 解釈可能性論理 ・ 解釈学 ・ 解釈学的循環 ・ 解重合 ・ 解除 ・ 解除 (行事) ・ 解除条件 ・ 解除権 ・ 解集合 ・ 解雇 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 解釈可能性論理 ： ウィキペディア日本語版 解釈可能性論理[かいしゃくかのうせいろんり] 解釈可能性論理 () は、様相論理の一系統を構成しており、解釈可能性 (en) や弱い解釈可能性 (en)、Π1-conservativity、cointerpretability、tolerance、cotolerance、および計算複雑さ (arithmetic complexity) のような様々な関連する数学的性質と関係を記述するために証明可能性論理を拡張したものである。 この分野への主要な貢献者は、Alessandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser および Domenico Zambellaらである。 ==参考文献== * Giorgi Japaridze and Dick de Jongh, ''The Logic of Provability''. In Handbook of Proof Theory, S.Buss, ed. Elsevier, 1998, pp. 475-546. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「解釈可能性論理」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.