|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 解釈 ： [かいしゃく] 1. (n,vs) explanation 2. interpretation ・ 可 ： [か] 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
解釈可能性論理 () は、様相論理の一系統を構成しており、解釈可能性 (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）』 ■ウィキペディアで「解釈可能性論理」の詳細全文を読む スポンサード リンク
|