[论文解读] Two representation theorems of three-valued structures by means of binary relations

Luisa Iturrioz|ArXiv.org|Oct 4, 2007

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

一句话总结

本文通过将三值结构（称为 T-结构）嵌入二元关系代数中，提出了两个关于 T-结构的表示定理。利用 Stone 型对偶性，证明了每个 T-结构都同构于一个关系型 T-结构，其中内算子、闭包算子和否定算子通过集合 E 的子集上的对称关系与集合运算来表示。

ABSTRACT

The results here presented are a continuation of the algebraic research line which attempts to find properties of multiple-valued systems based on a poset of two agents. The aim of this paper is to exhibit two relationships between some three-valued structures and binary relations. The established connections are so narrow that two representation theorems are obtained.

研究动机与目标

• 建立三值结构（T-结构）的二元关系表示，提供一种具体的代数实现。
• 将分配格的对偶理论扩展至带有三个一元算子 C（补）、S₁（内算子）和 S₂（闭包算子）的 T-结构。
• 证明 T-结构可被完全表示为关系代数，保持所有运算和恒等式。
• 通过关系解释，形式化 T-结构与粗糙集理论之间的联系。
• 利用集合 E 和对称关系 G，构建抽象 T-结构与具体关系模型之间的构造性同构。

提出的方法

• 利用底层分配格的素滤子（或素理想）谱，构造一种 Stone 型表示。
• 定义映射 h: A → G ∩ (f(A) × E)，其中 f(a) 是包含 a 的素滤子的集合，G 是 E 上的对称关系。
• 通过关系运算表示一元算子 S₁、S₂ 和 C：S₁(a) = h(a) ∩ h(a)⁻¹，S₂(a) = h(a) ∪ h(a)⁻¹，C(a) = 幂集中的补集。
• 利用滤子的性质和确定性原理，证明映射 h 保持所有运算：交、并、S₁、S₂ 和 C。
• 验证 h 的像构成一个关系型 T-结构，同构于原始代数，满足所有公理 (T1)–(T7)。
• 利用 S₂(a) = f(a) ∪ g(f(a)) 和 S₁(a) = f(a) ∩ g(f(a)) 的事实，其中 g 是与对称关系 G 相关的对合算子。

实验结果

研究问题

• RQ1 每个 T-结构是否都能被表示为保持所有运算的二元关系代数？
• RQ2 T-结构中的三个一元算子 S₁、S₂ 和 C 如何通过集合上的关系得到具体解释？
• RQ3 对称关系及其逆关系在三值逻辑中内算子与闭包算子建模中起什么作用？
• RQ4 T-结构的公理 (T1)–(T7) 在表示中在多大程度上对应于关系集合运算？
• RQ5 是否存在一种 Stone 型对偶性，可扩展至具有非函数完备性的 T-结构，特别是在粗糙集与直觉逻辑的背景下？

主要发现

• 每个 T-结构都同构于一个关系型 T-结构，其中元素是集合 E 的子集，并配备一个对称关系 G。
• 表示映射 h 保持所有运算：h(a ∧ b) = h(a) ∩ h(b)，h(a ∨ b) = h(a) ∪ h(b)，h(S₁a) = S₁h(a)，h(S₂a) = S₂h(a)，h(Ca) = Ch(a)。
• 算子 S₂ 表示为一个集合及其在 G 下的逆的并集，即 S₂(R) = R ∪ R⁻¹，而 S₁(R) = R ∩ R⁻¹。
• 表示的像在关系运算下封闭，形成一个与原始 T-结构同构的子代数。
• 该表示是忠实且单射的，依赖于确定性原理 (T6)，该原理确保像中的等式蕴含原始代数中的等式。
• 关系模型满足所有公理 (T1)–(T7)，包括关键恒等式 S₁a ∨ Ca = 1 和 S₁a ∧ Ca = 0，这些恒等式通过关系补集和交集得以保持。