Resumen Técnico: Atlas de Clausura y Obstrucciones de Local-a-Global en Sistemas de Clausura Finitos

1. Planteamiento del Problema

El artículo aborda un problema estructural dentro de los sistemas de clausura finitos: dada una familia finita de sistemas de clausura locales definidos sobre universos finitos superpuestos (denominados "cartas"), ¿bajo qué condiciones pueden estos sistemas locales realizarse como restricciones exactas de un único operador de clausura global?

Específicamente, el problema busca una realización conservadora global. Un operador de clausura global $D$ es una realización conservadora de un atlas local $\mathcal{A} = \{(\Sigma_\alpha, \text{cl}_\alpha)\}_{\alpha \in A}$ si, para cada carta $\alpha$ y cada conjunto de premisas local $S \subseteq \Sigma_\alpha$, las consecuencias globales restringidas al universo local coinciden exactamente con las consecuencias locales:
$$D(S) \cap \Sigma_\alpha = \text{cl}_\alpha(S)$$
La cuestión central es si tal $D$ siempre existe y, de no ser así, qué "obstrucción" específica impide su existencia. El artículo distingue entre la mera extensión (donde las consecuencias locales se preservan como subconjuntos de las consecuencias globales) y la realización conservadora (donde no se introducen nuevas consecuencias dentro del lenguaje local).

2. Metodología y Marco de Trabajo

El artículo emplea un marco puramente de teoría de la clausura y de orden, evitando la maquinaria topológica o de teoría de esquemas (sheaf theory) a pesar de utilizar terminología análoga ("atlas", "local-a-global", "pegado"). La metodología procede a través de varias construcciones por capas:

A. Espacios de Verdad Indexados

Para interpretar los datos de clausura, el artículo introduce espacios de verdad indexados. Un espacio de verdad indexado $\mathcal{X} = (\Sigma, \text{cl}, I, \tau)$ selecciona una familia finita de teorías cerradas (índices) y representa cada elemento $\phi$ mediante su región de verdad $V_\mathcal{X}(\phi) = \{i \in I : \phi \in \tau(i)\}$.

• Corrección (Soundness): La consecuencia de clausura ($S \vdash \phi$) siempre implica la inclusión de regiones de verdad ($V_\mathcal{X}(S) \subseteq V_\mathcal{X}(\phi)$).
• Completitud (Completeness): El inverso se cumple si y solo si el conjunto de índices incluye todas las teorías cerradas (el espacio de verdad indexado "completo").
• Consecuencias Espurias: El artículo demuestra que los espacios indexados reducidos (que omiten ciertas teorías cerradas) pueden crear "consecuencias de región espurias", donde la inclusión de regiones se cumple pero la consecuencia de clausura no, debido a la pérdida de testigos separadores.

B. Descomposiciones de Decisión

El artículo introduce una capa de contabilidad para los opuestos formales ($\bar{a}$). Sin asumir reglas de negación lógica, descompone el conjunto de índices en cuatro regiones para cualquier elemento $a$:

1. $P_a$: Índices que contienen $a$ pero no $\bar{a}$.
2. $N_a$: Índices que contienen $\bar{a}$ pero no $a$.
3. $B_a$: Índices que contienen ambos.
4. $U_a$: Índices que no contienen ninguno.
   Esta descomposición es puramente estructural y no presupone consistencia ni explosión a menos que se impongan explícitamente.

C. Atlas de Clausura y Propagación

La construcción central es el atlas de clausura finito $\mathcal{A}$. El artículo define un operador de paso de atlas $G_\mathcal{A}$ que propaga las clausuras locales a través de las superposiciones:
$$G_\mathcal{A}(X) = X \cup \bigcup_{\alpha \in A} \text{cl}_\alpha(X \cap \Sigma_\alpha)$$
Al iterar este operador monótono en un universo finito, el proceso se estabiliza en un punto fijo, definiendo la clausura generada por el atlas $C_\mathcal{A}$. Se demuestra que este operador es la menor operadora de clausura global que extiende todas las clausuras de las cartas locales.

3. Contribuciones Clave y Resultados

A. El Criterio de Obstrucción Local-a-Global

El principal resultado del artículo (Teorema 7.3) proporciona un criterio finito y exacto para la existencia de una realización conservadora global.

• Definición de Obstrucción: Una obstrucción es una terna $(\alpha, S, \phi)$ donde $S \subseteq \Sigma_\alpha$, $\phi \in \Sigma_\alpha$, y $\phi$ es una consecuencia de $S$ bajo la clausura generada por el atlas $C_\mathcal{A}$, pero $\phi$ no es una consecuencia de $S$ bajo la clausura local $\text{cl}_\alpha$.
• Teorema: Un atlas de clausura finito $\mathcal{A}$ admite una realización conservadora global si y solo si el conjunto de obstrucciones $\text{Obs}(\mathcal{A})$ es vacío.
• Minimalidad: Si $\text{Obs}(\mathcal{A}) = \emptyset$, la clausura generada por el atlas $C_\mathcal{A}$ es la única realización conservadora global mínima. Si existen obstrucciones, ninguna realización conservadora puede existir porque cualquier extensión global debe contener a $C_\mathcal{A}$ y, por lo tanto, debe contener las consecuencias ofensivas.

B. Algoritmo Finito

Debido a que los universos son finitos, el criterio de obstrucción es directamente computable. El artículo describe un algoritmo que itera $G_\mathcal{A}$ para cada conjunto de premisas local $S$ en cada carta $\alpha$ y verifica el "exceso visible para la carta" ($E_{\alpha, S} = (C_\mathcal{A}(S) \cap \Sigma_\alpha) \setminus \text{cl}_\alpha(S)$).

C. Pegado Canónico de Teorías Compatibles

Independiente del problema de la obstrucción, el artículo demuestra un teorema de pegado (Teorema 8.4) para teorías cerradas locales compatibles por superposición. Si una familia de teorías cerradas locales $\{T_\alpha\}$ concuerda exactamente en las superposiciones ($T_\alpha \cap \Sigma_{\alpha\beta} = T_\beta \cap \Sigma_{\alpha\beta}$), su unión canónica $T_\cup = \bigcup T_\alpha$ es cerrada bajo la clausura generada por el atlas $C_\mathcal{A}$ y se restringe exactamente a cada $T_\alpha$. Este resultado se mantiene independientemente de si existen obstrucciones en el sistema.

D. Extensión Conservadora y Pullback

El artículo establece que, para espacios de verdad indexados completos, una extensión conservadora de sistemas de clausura corresponde a un pullback exacto de las regiones de verdad a lo largo del mapa de reducción. Esto conecta la teoría de representación de un solo sistema con el entorno de atlas de múltiples cartas.

4. Significado y Alcance

El artículo reclama su importancia como una contribución finita, estructural y de la teoría de la clausura.

• Modestia de las Reivindicaciones: Los autores declaran explícitamente que sus resultados no dependen de tesis filosóficas respecto a la naturaleza de la verdad, la negación o la lógica clásica. Los términos "verdad", "teoría" y "opuesto" se utilizan como interpretaciones de los datos subyacentes de orden.
• Distinción de Trabajos Existentes: El marco es distinto de la lógica algebraica abstracta (no se estudia la algebraizabilidad), la teoría de dependencias de bases de datos (no hay minimización de bases de implicación) y la teoría de esquemas (no hay supuestos topológicos). Se centra estrictamente en la combinatoria de la propagación de clausura finita.
• Limitaciones: Los resultados son estrictamente finitos. No se abordan universos infinitos o atlas infinitos. El artículo no propone una nueva lógica ni un reemplazo para los fundamentos clásicos, sino que ofrece un lenguaje matemático específico para analizar la propagación local-a-global en sistemas de clausura.
• Trabajo Futuro: El artículo identifica las "completaciones conservadoras" (hallar realizaciones globales no canónicas que añaden consecuencias de premisas mixtas invisibles para las cartas individuales) como una dirección para futuras investigaciones, distinta del análisis de obstrucción canónico presentado aquí.

En resumen, el artículo proporciona una condición rigurosa y computable para determinar cuándo una colección de reglas lógicas (o de clausura) locales pueden fusionarse consistentemente en un sistema global sin generar consecuencias locales no deseadas, identificando el fallo estructural preciso (la obstrucción) cuando tal fusión es imposible.