[论文解读] Generalized Bosbach States

George Georgescu, Claudia Mureșan|arXiv (Cornell University)|Jul 15, 2010

Advanced Algebra and Logic参考文献 20被引用 11

一句话总结

本文引入了取值于任意剩余格的剩余格上的广义Bosbach状态，扩展了原本映射到[0,1]的经典Bosbach状态概念。定义了两种不同类型的广义Bosbach状态——I型与II型，证明了其代数性质，建立了与状态同态及Riečan状态的联系，并通过保序状态与基于相似性关系的s-柯西完备化，发展出非经典多值逻辑的概率语义框架。

ABSTRACT

Bosbach states represent a way of probabilisticly evaluating the formulas from various (commutative or non-commutative) many-valued logics. They are defined on the algebras corresponding to these logics with values in $[0,1]$. Starting from the observation that in the definition of Bosbach states there intervenes the standard MV-algebra structure of $[0,1]$, in this paper we introduce Bosbach states defined on residuated lattices with values in residuated lattices. We are led to two types of generalized Bosbach states, with distinct behaviours. The properties of generalized Bosbach states, proven in the paper, may serve as an algebraic foundation for developping some probabilistic many-valued logics. {\bf Keywords}: Bosbach states, residuated lattices, MV-algebras, $s$-Cauchy completion, metric completion. {\bf MSC 2010}: Primary 06F35. Secondary 06D35.

研究动机与目标

• 将原本映射到[0,1]的经典Bosbach状态概念推广至取值于任意剩余格的剩余格上。
• 基于原始Bosbach状态公理的等价重述，定义并分析两种不同类型的广义Bosbach状态——I型与II型。
• 通过研究保序状态、典范滤子与商剩余格，建立概率性多值逻辑的代数基础。
• 将Riečan状态的概念推广至广义情形，并探讨其与广义Bosbach状态的关系。
• 通过相似性收敛与s-柯西完备化，发展一种度量完备化框架，将MV代数的完备化推广至更广泛的剩余格背景。

提出的方法

• 利用[0,1]的标准MV代数结构重述经典Bosbach状态的公理，然后将[0,1]替换为任意剩余格L，以定义广义Bosbach状态。
• 定义两类广义Bosbach状态：I型（不一定保序），II型（天然保序）。
• 证明保序I型状态与II型状态满足不同但相关的代数性质，包括与剩余运算和否定运算的相容性。
• 构造与广义Bosbach状态关联的典范滤子，并分析相应的商剩余格，将其与状态同态理论联系起来。
• 引入广义Riečan状态，并在特定条件下（尤其是保序状态）建立其与广义Bosbach状态的等价性。
• 为广义Bosbach状态定义三种基于相似性的连续性（相似性连续性），并证明每个保序I型状态均诱导一个典范相似性关系，从而实现s-柯西完备化。

实验结果

研究问题

• RQ1 如何将原本定义在取值于[0,1]的代数上的经典Bosbach状态概念，推广至取值于任意剩余格的剩余格上？
• RQ2 I型与II型广义Bosbach状态在代数与序理论上存在哪些差异？为何保序性是其关键区分特征？
• RQ3 广义Riečan状态在多大程度上与广义Bosbach状态重合？它们与广义状态的典范滤子及商代数有何关系？
• RQ4 能否通过相似性收敛与s-柯西完备化，将MV代数中已知的度量完备化概念推广至任意剩余格？
• RQ5 由保序I型状态诱导的典范相似性关系，在构造剩余格的广义度量完备化中起到何种作用？

主要发现

• 广义Bosbach状态的I型不一定是保序的，而II型状态天然具有保序性，表明二者行为存在根本不对称性。
• 保序I型状态与II型状态由涉及剩余运算、否定运算及双剩余运算的独立但相容的代数公理刻画。
• 与广义Bosbach状态关联的典范滤子是真滤子，其对应的商剩余格继承了与状态相容的清晰代数结构。
• 在保序条件下，广义Riečan状态与广义Bosbach状态的II型等价，建立了概率语义与代数语义之间的桥梁。
• 每个保序I型状态均诱导一个典范相似性关系，从而可构造出s-柯西完备化，该构造推广了MV代数的度量完备化。
• 本文通过证明谓词逻辑中的逻辑概率在Lindenbaum-Tarski代数上诱导出保序I型状态，建立了非经典逻辑中概率语义的框架。