技术摘要：有限闭包系统的闭包图谱与局部-全局阻碍

1. 问题陈述

本文研究了有限闭包系统中的一个结构性问题：给定一组定义在重叠有限全集（称为“图表”，charts）上的局部闭包系统，在什么条件下，这些局部系统可以被实现为一个单一全局闭包算子的精确限制？

具体而言，该问题寻求的是一个全局保守实现（global conservative realization）。若全局闭包算子 $D$ 是局部图谱 $\mathcal{A} = \{(\Sigma_\alpha, \text{cl}_\alpha)\}_{\alpha \in A}$ 的一个保守实现，则对于每个图表 $\alpha$ 以及每个局部前提集 $S \subseteq \Sigma_\alpha$，全局后果在局部全集上的限制必须与局部后果完全一致：
$$D(S) \cap \Sigma_\alpha = \text{cl}_\alpha(S)$$
核心问题在于，这样的 $D$ 是否总是存在；如果不存在，是什么样的特定“阻碍”（obstruction）阻止了它的存在。论文区分了单纯的“扩展”（extension，即局部后果作为全局后果的子集被保留）与“保守实现”（conservative realization，即在局部语言内不引入新的后果）。

2. 方法论与框架

本文采用了一种纯粹的闭包理论和序理论框架，尽管使用了类似“图谱”（atlas）、“局部-全局”（local-to-global）、“粘合”（gluing）等术语，但避免了使用拓扑学或层（sheaf）论的机制。其方法论通过以下分层构建展开：

A. 索引真值空间 (Indexed Truth Spaces)

为了解释闭包数据，本文引入了索引真值空间。索引真值空间 $\mathcal{X} = (\Sigma, \text{cl}, I, \tau)$ 选择了一组有限的闭理论（索引），并将每个元素 $\phi$ 表示为其真值区域 $V_\mathcal{X}(\phi) = \{i \in I : \phi \in \tau(i)\}$。

• 可靠性 (Soundness)： 闭包后果（$S \vdash \phi$）总是蕴含真值区域包含关系（$V_\mathcal{X}(S) \subseteq V_\mathcal{X}(\phi)$）。
• 完备性 (Completeness)： 当且仅当索引集包含所有闭理论（即“全”索引真值空间）时，反向关系成立。
• 伪造后果 (Spurious Consequences)： 本文证明了缩减后的索引空间（省略了某些闭理论）会产生“伪造区域后果”，即虽然区域包含关系成立，但闭包后果并不成立，这是由于丢失了分离见证（separating witnesses）。

B. 判定分解 (Decision Decompositions)

本文引入了一个用于处理形式对立面（$\bar{a}$）的记账层。在不假设逻辑否定规则的情况下，它将索引集分解为任何元素 $a$ 的四个区域：

1. $P_a$：包含 $a$ 但不包含 $\bar{a}$ 的索引。
2. $N_a$：包含 $\bar{a}$ 但不包含 $a$ 的索引。
3. $B_a$：同时包含两者。
4. $U_a$：两者皆不包含。
   这种分解是纯结构性的，并不预设一致性或爆炸原理，除非显式地施加这些约束。

C. 闭包图谱与传播 (Closure Atlases and Propagation)

核心构建是有限闭包图谱 $\mathcal{A}$。本文定义了一个图谱步进算子 $G_\mathcal{A}$，用于在重叠部分传播局部闭包：
$$G_\mathcal{A}(X) = X \cup \bigcup_{\alpha \in A} \text{cl}_\alpha(X \cap \Sigma_\alpha)$$
通过在有限全集上迭代此单调算子，过程会趋于稳定，从而定义图谱生成闭包 $C_\mathcal{A}$。该算子被证明是扩展所有局部图表闭包的最小全局闭包算子。

3. 关键贡献与结果

A. 局部-全局阻碍准则

本文的主要结果（定理 7.3）提供了一个精确的、有限的判别式，用于判断是否存在全局保守实现。

• 阻碍的定义： 一个阻碍是一个三元组 $(\alpha, S, \phi)$，其中 $S \subseteq \Sigma_\alpha$，$\phi \in \Sigma_\alpha$，且 $\phi$ 在全局图谱生成闭包 $C_\mathcal{A}$ 下是 $S$ 的后果，但 $\phi$ 在局部闭包 $\text{cl}_\alpha$ 下并不是 $S$ 的后果。
• 定理： 有限闭包图谱 $\mathcal{A}$ 允许全局保守实现，当且仅当阻碍集 $\text{Obs}(\mathcal{A})$ 为空。
• 极小性： 如果 $\text{Obs}(\mathcal{A}) = \emptyset$，则图谱生成闭包 $C_\mathcal{A}$ 本身是唯一的最小全局保守实现。如果存在阻碍，则不存在保守实现，因为任何全局扩展都必须包含 $C_\mathcal{A}$，因此必然包含那些引起问题的后果。

B. 有限算法

由于全集是有限的，阻碍准则是可计算的。本文概述了一种算法，通过对每个图表 $\alpha$ 中的每个局部前提集 $S$ 迭代执行 $G_\mathcal{A}$，并检查“图表可见多余量”（chart-visible excess，$E_{\alpha, S} = (C_\mathcal{A}(S) \cap \Sigma_\alpha) \setminus \text{cl}_\alpha(S)$）。

C. 相容理论的规范粘合

作为与阻碍问题相对独立的课题，本文证明了重叠相容局部闭理论的粘合定理（定理 8.4）。如果一族局部闭理论 $\{T_\alpha\}$ 在重叠部分完全一致（$T_\alpha \cap \Sigma_{\alpha\beta} = T_\beta \cap \Sigma_{\alpha\beta}$），则它们的规范并集 $T_\cup = \bigcup T_\alpha$ 在图谱生成闭包 $C_\mathcal{A}$ 下是闭的，并且精确地限制到每一个 $T_\alpha$。无论系统中是否存在阻碍，该结果均成立。

D. 保守扩展与拉回

本文确立了对于全索引真值空间，闭包系统的保守扩展对应于沿还原映射（reduct map）的真值区域精确拉回。这在单系统表示论与多图表图谱设定之间架起了桥梁。

4. 意义与范围

本文声称其贡献在于有限的、结构性的以及闭包理论层面的。

• 声明的克制性： 作者明确指出，其结果并不依赖于关于真理、否定或经典逻辑本质的哲学论题。术语“真理”、“理论”和“对立面”仅作为底层序理论数据的解释。
• 与现有工作的区别： 该框架不同于抽象代数逻辑（未研究代数化）、数据库依赖理论（未研究蕴含基的最小化）以及层论（无拓扑假设）。它严格专注于有限闭包传播的组合学。
• 局限性： 其结果严格限于有限情况。文中未讨论无限全集或无限图谱。本文并非提出一种新逻辑或替代性的经典基础，而是提供了一种特定的数学语言，用于分析有限闭包系统中的局部-全局传播。
• 未来工作： 本文确定了“保守补全”（寻找非规范的全局实现，即添加对单个图表不可见的混合前提后果）是一个未来的研究方向，这与本文呈现的规范阻碍分析有所不同。

总而言之，本文提供了一个严谨且可计算的条件，用于判断一组局部逻辑（或闭包）规则是否可以在不产生非预期局部后果的情况下，一致地合并为一个全局系统；并识别了当这种合并无法实现时，其精确的结构性失效原因（即阻碍）。