[论文解读] An Algebraic Study of Bilattice-based Logics

Umberto Rivieccio|arXiv (Cornell University)|Oct 13, 2010

Advanced Algebra and Logic参考文献 37被引用 29

一句话总结

本文利用抽象代数逻辑（AAL）构建了基于双格的逻辑的代数框架，通过伴随函子在蕴含双格与I-代数之间建立了范畴对偶。证明了逻辑 $γ_{\supset}$ 具有代数化性质，并为蕴含双格提供了表示定理，从而系统地处理了非初等代数逻辑。

ABSTRACT

The aim of this work is to develop a study from the perspective of Abstract Algebraic Logic of some bilattice-based logical systems introduced in the nineties by Ofer Arieli and Arnon Avron. The motivation for such an investigation has two main roots. On the one hand there is an interest in bilattices as an elegant formalism that gave rise in the last two decades to a variety of applications, especially in the field of Theoretical Computer Science and Artificial Intelligence. In this respect, the present study aims to be a contribution to a better understanding of the mathematical and logical framework that underlie these applications. On the other hand, our interest in bilattice-based logics comes from Abstract Algebraic Logic. In very general terms, algebraic logic can be described as the study of the connections between algebra and logic. One of the main reasons that motivate this study is the possibility to treat logical problems with algebraic methods and viceversa: this is accomplished by associating to a logical system a class of algebraic models that can be regarded as the algebraic counterpart of that logic. Starting from the work of Tarski and his collaborators, the method of algebraizing logics has been increasingly developed and generalized. In the last two decades, algebraic logicians have focused their attention on the process of algebraization itself: this kind of investigation forms now a subfield of algebraic logic known as Abstract Algebraic Logic (which we abbreviate AAL).

研究动机与目标

• 为基于双格的逻辑建立代数语义，尤其关注其非初等代数逻辑的性质。
• 通过研究难以应用标准代数化技术的逻辑，拓展抽象代数逻辑（AAL）的适用范围。
• 在I-代数范畴与蕴含双格范畴之间建立范畴等价关系。
• 为蕴含双格提供表示定理，并刻画其同余关系。
• 证明逻辑 $γ_{\supset}$ 及其自然演绎风格演算可通过等价代数语义实现代数化。

提出的方法

• 引入预双格与双格作为具有两个格结构（真值与知识）及否定运算的代数结构。
• 定义逻辑双格 ($\mathcal{LB}$) 及其自然演绎、希尔伯特与塔斯基风格的表述形式。
• 应用抽象代数逻辑（AAL）分析演算 $\mathcal{G}_{\mathcal{LB}}$ 的代数化性质。
• 通过引入蕴含运算扩展逻辑，形成 $\mathcal{LB}_{\supset}$，并引入蕴含双格作为其代数模型。
• 构造一个函子 $F: \mathsf{IAlg} \to \mathsf{ImpBiLat}$，通过商构造将I-代数映射到蕴含双格。
• 定义一个对偶函子 $G: \mathsf{ImpBiLat} \to \mathsf{IAlg}$，其作用为忽略格运算，从而在两个范畴之间建立伴随关系。

实验结果

研究问题

• RQ1 基于双格的逻辑，尤其是非初等代数逻辑，能否通过抽象代数逻辑实现系统化研究？
• RQ2 逻辑 $\mathcal{LB}_{\supset}$ 的代数对应物是什么？它是否具有代数化性质？
• RQ3 如何通过同余关系与子约化来表示和刻画蕴含双格？
• RQ4 I-代数与蕴含双格之间是否存在范畴等价关系？
• RQ5 I-代数与蕴含双格范畴之间的伴随关系在理解代数语义中起什么作用？

主要发现

• 逻辑 $\mathcal{LB}_{\supset}$ 具有代数化性质，其等价代数语义由蕴含双格的种类所给出。
• 建立了蕴含双格的表示定理，表明每个此类代数都同构于若干格的积的商。
• 函子 $F: \mathsf{IAlg} \to \mathsf{ImpBiLat}$ 是遗忘函子 $G: \mathsf{ImpBiLat} \to \mathsf{IAlg}$ 的左伴随，构成一对伴随函子。
• 由 $f_{\mathbf{A}}: \mathbf{A} \to GF(\mathbf{A})$ 定义的映射 $f_{\mathbf{A}}(a) = \langle[a],[\neg a]\rangle$ 是一个嵌入，证明了该伴随关系的完全性。
• 通过函子 $F$ 与 $G$，蕴含双格范畴与I-代数范畴之间存在范畴等价。
• 在特定条件下，蕴含双格的代数结构被证明等价于剩余德摩根格，从而丰富了其代数刻画。