Possibly Relevant Translations

技術的要約：関連する可能性のある翻訳

問題と動機
本論文は、関連論理（特にアンダーソン・ベルナップの系譜）と正規様相論理との間の構造的関係を扱っている。直観主義論理から古典的様相論理への翻訳（ゲーデル・マッキンシー・タルスキ翻訳による）が歴史的に重要な伝統間の交流を促進してきた一方で、関連論理と様相論理の間の同様の体系的な翻訳は、未だ十分に発展していない。著者は、関連論理から正規様相論理への完全かつ忠実な翻訳を確立することで、構造的接続を明確にし、従属的な結果を導出し、現在の翻訳的アプローチにおける限界を特定することを目的としている。本研究は、当初は正の部分集合 $\{\land, \lor, \to\}$ に焦点を当て、段階的に真理定数 $t$、融合 $\circ$、および否定 $\neg$ を含むように拡張している。

方法論
本論文は、2つの異なるフレームワーク間のモデル変換を利用した意味論的アプローチを採用している。

1. ラوتリー・メイヤー・フレーム（Routley–Meyer Frames）: 関連論理の標準的な意味論であり、三項関係 $R$ と正規点 $N$ の組 $(K, R, N)$ として定義される。これらは特定の順序および関係的制約（例：「down-down-up」条件）に従う。
2. クリプケ・フレーム（Kripke Frames）: 正規様相論理の標準的な意味論であり、ペア $(W, R)$（または拡張された言語のための追加の関係を持つタプル）として定義される。

核心となる方法論は、関連論理の論理式から様相論理の論理式への翻訳関数（$\star, \ast, \text{または } \circ$ で表記）を定義することである。これらの翻訳が**完全（full）であること（関連含意が成立するならば、様相翻訳も成立する）および忠実（faithful）**であること（様相翻訳が成立するならば、関連含意も成立する）を証明するために、著者は2つのモデル変換を構築している。

• $F$: 指標付きクリプケ・モデルを指標付きラوتリー・メイヤー・モデルへと写像する。
• $G$: 指標付きラوتリー・メイヤー・モデルを指標付きクリプキ・モデルへと写像する。

これらの変換は、一方のモデルにおける充足が他方における翻訳された論理式の充足に対応するという、随伴パターンを満たすように設計されている。また、本論文は、特定の関連公理に対応するクリプケ意味論におけるフレーム条件を特定するために、対応理論（特にサールキスト対応）を利用している。

主要な貢献と結果

1. 基本的正の部分翻訳 ($\star$):

   • 著者は、$\to$ が $\neg \Diamond(\cdot, \neg \cdot)$ という定義された様相演算子に写像される $\{\land, \lor, \to\}$ 部分集合に対する翻訳 $\star$ を定義している。
   • 定理 1.4: 基本的な関連論理 $B^+$ と基本的な二項様相論理 $K_2$ について、$\vdash_{B^+} \phi \to \psi$ であることと $\vdash_{K_2} \phi^\star \supset \psi^\star$ であることは同値であることを確立している。
   • より強い論理への拡張: この翻訳は、公理 7–10 の部分集合によって公理化された論理（例：$TW^+, TWJ^+, C^+$）へと拡張される。しかし、本論文は、この翻訳が縮約（公理 11）や表明（公理 12）を必要とする論理（例：$R^+$）に対しては失敗することを示している。この失敗は、単純なクリプケ意味論が、ラوتリー・メイヤー・フレームに固有の特定の順序条件（「down-down-up」特性など）を欠いており、それらがこれらの公理を検証するために必要であることに起因する。

2. 入れ子になった含意の翻訳 ($\ast$):

   • 主要な結合子が $\to$ ではない論理式に対処するため、$\phi \to \psi$ を $\Box_\to(\phi^\star \supset \psi^\star)$ に写像する第2の翻訳 $\ast$ が導入される。
   • 定理 1.7: $\ast$ がすべての正の論理式について $B^+$ から $K_2$ への完全かつ忠実な埋め込みを提供し、$B^+$ を $K_2$ の構文的部分集合として実現することを示す。
   • $\star$ 翻訳と同様に、このアプローチも縮約や表明を含む論理へと拡張する際に限界に直面する。

3. 決定不能性と補間性:

   • 本論文は、関連論理からの決定不能性の結果を様相論理へと転送する。具体的には、$TWJ^+$ および $C^+$ のフレーム条件に対応する様相論理が決定不能であることを証明し（定理 1.9）、Urquhart らの既存の結果を補完している。
   • 著者は、クレイグ補間特性（CIP）に関する未解決の問いを提起している。$K_2$ は CIP を持つが、$B^+$ が持つかどうかは不明である。この翻訳は、もし $B^+$ が CIP を欠いているならば、それは翻訳の特定の振る舞い、あるいは特定の語彙の欠如によるものである可能性を示唆している。

4. 拡張された翻訳 ($\circ$):

   • 縮約および表明に関する前述の翻訳の限界を克服するために、本論文は零項様相 $t$ と二項様相 $\circ$ を含む、より豊かな様相言語への翻訳を導入している。
   • 定義 2.2: 様相 $B^+$ ($Mod.B^+$) を、残余公理およびラوتリー・メイヤー・フレーム条件（反射性、推移性、アップセットなど）に対応する公理を含む最小の正規様相論理として定義する。
   • 定理 2.5: 言語が $t$ と $\circ$ で拡張されている場合、翻訳 $\circ$ は完全かつ忠実であること、すなわち $\vdash_B \phi$ であることと $\vdash_{Mod.B^+} t \supset \phi^\circ$ であることは同値であることを示す。この翻訳は、クリプケ意味論の中でラوتリー・メイヤー・フレームの構造的制約（順序関係 $\leq$ を含む）を正常に捉えている。
   • 定理 2.8: 一項様相 $\Box_\neg$ とそれに対応するフレーム条件（反転および順序反転）を導入することにより、否定 $\neg$ を含む完全な言語へとこの結果を拡張する。

意義と主張
本論文は、一連の翻訳を通じて、関連論理と様相論理の間の構造的接続を明らかにすることを控えめに主張している。その主な意義は以下の通りである：

• 基本的な関連論理 $B$（および $t, \circ, \neg$ を伴うその拡張）を特定の正規様相論理 ($Mod.B$) へと完全かつ忠実に翻訳し、関連論理を様相論理の構文的部分集合として実現したこと。
• より強い関連論理（$R^+$ など）に適用した場合の、より単純な翻訳（$\star$ など）の限界を浮き彫りにしたこと。具体的には、標準的なクリプキ・フレームが、追加の公理や様相なしには、ラوتリー・メイヤー・フレームの必要な順序論的特性を捉えられないことを指摘している。
• 二つの伝統の間で、決定可能性および決定不能性といったメタ論理的性質の転送を容易にしたこと。
• $B^+$ における補間特性や、フレーム不完全な論理への構造的接続を深める可能性に関する未解決の問いを特定したこと。

著者は、本論文が「深くではなく、広範かつ探索的である」と明言しており、哲学的な動機やより深い構造的関係の完全な分析は今後の課題としている。