共解釈可能性

数理論理学において、共解釈可能性は形式理論上の二項関係である。形式理論T は、別の同様の理論Sにおいて共解釈可能であり、 Sの言語がTの言語に翻訳され、その翻訳がTの定理となるすべての式がSによって証明されるような場合である。ここでの「翻訳」は、式の論理構造を維持するために必要である。

この概念は、ある意味では解釈可能性と双対的であり、ジャパリゼ（1993）によって導入されました。ジャパリゼは、ペアノ算術理論と有効な公理化を持つより強力な理論の場合、共解釈可能性は-保守性と同等であることも証明しました。 ${\displaystyle \Sigma _{1}}$

• 共耐性
• 解釈可能性の論理
• 寛容（論理的に）

• ジャパリゼ、ジョルジ（1993）「弱い解釈可能性の一般化された概念とそれに対応する様相論理」、純粋および応用論理の年報、61（1–2）：113–160、doi：10.1016/0168-0072（93）90201-N、MR  1218658。
• Japaridze, Giorgi ; de Jongh, Dick (1998)、「証明可能性の論理」、Buss, Samuel R. (編)、『証明理論ハンドブック』、論理学と数学の基礎研究、第 137 巻、アムステルダム: 北ホラント、pp. 475–546、doi : 10.1016/S0049-237X(98)80022-0、MR  1640331。