解釈可能性論理
(Interpretability logics から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/04/22 03:55 UTC 版)
解釈可能性論理 (英: Interpretability logics) は、様相論理の一系統を構成しており、解釈可能性 (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.
 |
この「解釈可能性論理」は、論理学に関連した書きかけ項目です。この記事を加筆・訂正して下さる協力者を求めています（Portal:論理学）。 |
- 解釈可能性論理のページへのリンク
