[論文レビュー] Clone Theory and Algebraic Logic

Zhaohua Luo|ArXiv.org|Jul 27, 2009

Advanced Algebra and Logic参考文献 2被引用数 3

ひとこと要約

本稿は、クローン理論を用いて一階論理の圏的枠組みを確立し、項が自由クローンを形成し、論理式がそれに対して右代数を形成することを示す。モデルを左代数として、代入をフィルターとしてモデル化することで、関手とクローン上の代数を用いて代数論理と普遍代数学を統合する。完全性定理および表現定理を代数的に証明する。

ABSTRACT

The concept of a clone is central to many branches of mathematics, such as universal algebra, algebraic logic, and lambda calculus. Abstractly a clone is a category with two objects such that one is a countably infinite power of the other. Left and right algebras over a clone are covariant and contravariant functors from the category to that of sets respectively. In this paper we show that first-order logic can be studied effectively using the notions of right and left algebras over a clone. It is easy to translate the classical treatment of logic into our setting and prove all the fundamental theorems of first-order theory algebraically.

研究の動機と目的

• クローンを二つの対象を持つ圏（一方が他方の可算無限乗べき）として用いることで、一階論理の統一的代数的枠組みを構築すること。
• 論理式を右代数（反変関手）として、モデルを左代数（冪を保存する共変関手）として形式化すること。
• この枠組み内において、述語代数および量化子代数の完全性、表現、不完全性の基本定理を代数的に確立すること。
• 古典的モデル理論的概念（例：満たし、妥当性、証明可能性）を、クローン上のフィルター、代入、合同関係を用いて代数的用語に一般化すること。

提案手法

• 一階言語の項を、関数記号によって生成される自由クローン $ F(X) $ としてモデル化し、一方が他方の可算無限乗べきである二つの対象を持つ圏の構造を有する。
• 言語の論理式を、述語記号によって生成される自由右代数 $ P(ar{L}) $ として定義し、演算 $ \neg $, $ \rightarrow $, および $ \forall $ を用いる。
• モデルを $ F(X) $ 上の左代数として表現し、論理式の満たしを乗法 $ \beta: P \times A^{\bf N} \to 2 $ によって符号化する。これは古典的満たし関係の一般化である。
• 真理代入を $ \neg $, $ \rightarrow $, および $ \forall $ に関して論理的閉包を満たす $ V \to P $ の部分集合として定義し、論理的妥当性をそれらすべての代入の共通部分集合として定義する。
• MP-閉部分集合としてのフィルターを定義し、フィルターがすべての代入の共通部分集合と一致することを証明することで、完全性の代数的証明を可能にする。
• 正規合同関係および商代数を用い、論理式代数をフィルターで商取ることでブール代数が得られることを示し、これにより表現定理を導く。

実験結果

リサーチクエスチョン

• RQ1 クローンの代数的構造とそれに関連する関手を用いて、一階論理を体系的に再構築することは可能か？
• RQ2 クローンに基づく枠組みにおいて、フィルターと代入を用いて、一階論理の古典的完全性定理を代数的に証明できるか？
• RQ3 左代数および右代数としてのクローン上でのモデル、満たし、妥当性の代数的特徴づけは何か？
• RQ4 量化子代数およびペアノ代数はこの枠組みにどのように適合し、どのような代数的性質を満たすか？
• RQ5 算術のクローンとその関連代数の構造から、算術の不完全性を代数的に導出できるか？

主な発見

• 本稿は、述語代数 $ P $ の任意の局所的またはグローバルなフィルター $ F $ が、$ F $ を含むすべての局所的またはグローバルな代入の共通部分集合に一致することを証明し、フィルターと代入の間に双対性を確立する。
• 一階論理の完全性を代数的に確立する：$ T \nvDash S $ であることと $ T \not\rightarrow S $ であることとは同値であり、これは証明可能性（帰納的）と意味的帰結が一致することを意味する。
• 表現定理により、任意の局所的有限な量化子代数 $ P $ は、自由左代数上の冪集合代数 $ \text{P}_2(A(P)) $ の部分代数と同型であることが示される。
• 量化子代数 $ P $ が単純であることと、$ \text{P}_2(A(P)) $ の部分代数と同型であることは同値であり、単純性の構造的特徴づけが得られる。
• 算術クローン $ F_a(X) $ に対して、算術代数 $ P_a $ を定義し、ペアノ算術の公理集合 $ N_{P_a} $ が一貫的であるが完全でないことを示す。これにより、ゲーデルの不完全性定理の代数的証明が得られる。
• 本稿は、$ N_{P_a} $ が一貫的である場合、ペアノ代数が単純でないことを示し、代数的枠組み内に非単純な算術のモデルが存在することを確認する。