Modal_companion
logicでは、超直観論的 (中間) 論理Lの様相コンパニオンは、以下で説明する特定の正準変換によってLを解釈する通常の様相論理です。モーダル コンパニオンは、元の中間ロジックのさまざまなプロパティを共有しているため、モーダル ロジック用に開発されたツールを使用して中間ロジックを学習できます。
コンテンツ
1 Gödel-McKinsey-Tarski 翻訳
2 モーダル コンパニオン
3 ブロック・エサキア同型
4 セマンティック記述
5 保存定理
6 その他の特性
7 参考文献
Gödel-McKinsey-Tarski 翻訳
Aを命題 直観主義的公式とする。モード式T ( A ) は、 Aの複雑さに関する帰納法によって定義されます。 T ( p) = ◻
p { T(p)=Box p，}
任意の命題変数 p { p}
T( ⊥) =
⊥ { T(bot )=bot ，}
