解釈可能性

数理論理学において、解釈可能性とは、形式理論間の関係であり、一方の理論を他方の理論に解釈または翻訳できる可能性を表すものである。

TとSを形式理論とします。少し簡略化すると、TがSで解釈可能であるとは、 Tの言語をSの言語に翻訳することで、 SがTのすべての定理の翻訳を証明できる場合に限ります。もちろん、翻訳が論理式の論理構造を維持する必要があるなど、許容される翻訳にはいくつかの自然な条件があります。

この概念は、弱い解釈可能性とともに、 1953年にアルフレッド・タルスキによって提唱された。関連する他の3つの概念は、共解釈可能性、論理的許容性、および共許容性であり、これらは1992年から1993年にかけてギオルギ・ジャパリゼによって提唱された。

• 保守的な拡張
• 解釈（論理）
• 解釈（モデル理論）
• 解釈可能性ロジック

• Japaridze, G.、および De Jongh, D. (1998) 「証明可能性の論理」Buss, S. 編『証明理論ハンドブック』North-Holland: 476–546。
• Alfred Tarski、Andrzej Mostowski、Raphael Robinson (1953)決定不能理論。North-Holland。