[论文解读] A New Representation Theorem for Many-valued Modal Logics

Zoran Majkić|arXiv (Cornell University)|Mar 1, 2011

Logic, Reasoning, and Knowledge参考文献 31被引用 7

一句话总结

本文提出了一种基于真值不变性语义的多值模态逻辑的新表示定理，建立了代数模型与Kripke风格关系结构之间的直接联系。该文通过将完全分配格的join-不可约元素（含0）作为可能世界，构建了一个典范的、自指涉的Kripke语义。关键成果是为布伦普的4值双格上的 paraconsistent 模糊逻辑与自指涉逻辑提供了紧凑的表示形式。

ABSTRACT

We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of a given logic and relational structures used to define the Kripke possible-world semantics for it. Such a new framework offers a new semantics for many-valued logics based on the truth-invariance entailment. Consequently, it is substantially different from current definitions based on a matrix with a designated subset of logic values, used for the satisfaction relation, often difficult to fix. In the case when the many-valued modal logics are based on the set of truth-values that are complete distributive lattices we obtain a compact autoreferential Kripke-style canonical representation. The Kripke-style semantics for this subclass of modal logics have the joint-irreducible subset of the carrier set of many-valued algebras as set of possible worlds. A significant member of this subclass is the paraconsistent fuzzy logic extended by new logic values in order to also deal with incomplete and inconsistent information. This new theory is applied for the case of autoepistemic intuitionistic many-valued logic, based on Belnap's 4-valued bilattice, as a minimal extension of classical logic used to manage incomplete and inconsistent information as well.

研究动机与目标

• 开发一种新的多值模态逻辑表示定理框架，以克服传统矩阵语义中对指定子集的依赖。
• 建立代数模型与Kripke风格关系语义之间更强、更直接的对应关系。
• 为真值构成完全分配格的多值逻辑，提供一个典范的、自指涉的Kripke表示。
• 将该框架应用于paraconsistent逻辑与模糊逻辑，特别是布伦普的4值双格，以处理不完整与不一致的信息。
• 通过双格对偶性，展示自指涉直觉主义多值逻辑的表示定理。

提出的方法

• 以真值不变性语义关系作为语义基础，取代传统矩阵方法中对指定真值子集的依赖。
• 在完全分配格的真值集合上，定义一个典范的幂集扩展代数。
• 将真值格中join-不可约元素（含0）的集合用作Kripke框架中的可能世界。
• 通过真值序与知识序双格之间的同构关系（如布伦普的D-双格），构造对偶表示。
• 利用单射同态与同构关系，建立连接代数模型、真值序与知识序表示的交换图。
• 将同构关系扩展至幂集，并通过子代数约化保持模态结构与语义关系。

实验结果

研究问题

• RQ1 如何重新定义多值模态逻辑的表示定理，以避免在矩阵语义中依赖于任意指定的真值子集？
• RQ2 当真值构成完全分配格时，多值逻辑的典范Kripke风格语义是什么？
• RQ3 如何利用布伦普双格中真值序与知识序之间的对偶性，来表示自指涉直觉主义逻辑？
• RQ4 能否直接从逻辑真值的代数结构出发，构造出紧凑的、自指涉的Kripke模型？
• RQ5 join-不可约元素在构成此类逻辑的Kripke模型可能世界中起什么作用？

主要发现

• 所提出的真值不变性语义为矩阵语义提供了一个实质性替代方案，消除了对固定真值子集的依赖。
• 对于真值属于完全分配格的多值逻辑，通过将join-不可约元素（含0）的集合作为可能世界，构建了典范的Kripke风格模型。
• 所得Kripke框架生成一个与原始多值代数同构的唯一子代数，并保留模态算子，确保语义的保全性。
• 布伦普4值双格的表示定理同构关系，使得直觉主义自指涉逻辑在真值序与知识序中均可实现对偶表示。
• 定理5中的交换图证实，通过扩展同构 $\partial_{\mathcal{P}}$ 与约化 $\partial^{*}_{\mathcal{P}}$，代数模型、真值序与知识序表示之间存在同构关系。
• 该框架使得Kripke模型的描述变得简洁、紧凑且具有自指涉性，与基于自然对偶定理推导出的复杂对偶形式形成鲜明对比。