Technische Samenvatting: Closure Atlasen en Lokaal-naar-Globaal Obstacties in Eindige Closure-systemen

1. Probleemstelling

De paper behandelt een structureel probleem binnen eindige closure-systemen: gegeven een eindige familie van lokale closure-systemen gedefinieerd op overlappende eindige universa (verwezen als "charts"), onder welke voorwaarden kunnen deze lokale systemen worden gerealiseerd als exacte restricties van een enkel globaal closure-operator?

Specifiek zoekt het naar een globale conservatieve realisatie. Een globale closure-operator $D$ is een conservatieve realisatie van een lokale atlas $\mathcal{A} = \{(\Sigma_\alpha, \text{cl}_\alpha)\}_{\alpha \in A}$ indien, voor elke chart $\alpha$ en elke lokale premisse-verzameling $S \subseteq \Sigma_\alpha$, de globale consequenties gerestringeerd tot het lokale universum exact overeenkomen met de lokale consequenties:
$$D(S) \cap \Sigma_\alpha = \text{cl}_\alpha(S)$$
De centrale vraag is of een dergelijke $D$ altijd bestaat, en zo niet, wat de specifieke "obstactie" is die de existentie ervan verhindert. De paper maakt onderscheid tussen louter extensie (waarbij lokale consequenties behouden blijven als deelverzamelingen van globale consequenties) en conservatieve realisatie (waarbij geen nieuwe consequenties worden geïntroduceerd binnen de lokale taal).

2. Methodologie en Raamwerk

De paper hanteert een puur closure-theoretisch en orde-theoretisch raamwerk, waarbij topologische of sheaf-theoretische machinerie wordt vermeden ondanks het gebruik van analoge terminologie ("atlas", "lokaal-naar-globaal", "gluing"). De methodologie verloopt via verschillende gelaagde constructies:

A. Geïndexeerde Waarheidsruimtes

Om closure-data te interpreteren, introduceert de paper geïndexeerde waarheidsruimtes. Een geïndexeerde waarheidsruimte $\mathcal{X} = (\Sigma, \text{cl}, I, \tau)$ selecteert een eindige familie van gesloten theorieën (indices) en representeert elk element $\phi$ door zijn waarheidsregio $V_\mathcal{X}(\phi) = \{i \in I : \phi \in \tau(i)\}$.

• Soundness (Correctheid): Closure-consequentie ($S \vdash \phi$) impliceert altijd waarheids-regio inclusie ($V_\mathcal{X}(S) \subseteq V_\mathcal{X}(\phi)$).
• Completeness (Volledigheid): Het omgekeerde geldt dan en slechts dan als de index-verzameling alle gesloten theorieën bevat (de "volledige" geïndexeerde waarheidsruimte).
• Spurious Consequenties (Schijnconsequenties): De paper demonstreert dat gereduceerde geïndexeerde ruimtes (die bepaalde gesloten theorieën weglaten) "spurious region consequences" kunnen creëren waarbij regio-inclusie wel geldt, maar closure-consequentie niet, vanwege het verlies van scheidende getuigen (witnesses).

B. Beslissingsdecompositie

De paper introduceert een boekhoudlaag voor formele opposities ($\bar{a}$). Zonder het aannemen van logische negatieregels, deelt zij de index-verzameling op in vier regio's voor elk element $a$:

1. $P_a$: Indices die $a$ bevatten maar niet $\bar{a}$.
2. $N_a$: Indices die $\bar{a}$ bevatten maar niet $a$.
3. $B_a$: Indices die zowel $a$ als $\bar{a}$ bevatten.
4. $U_a$: Indices die noch $a$, noch $\bar{a}$ bevatten.
   Deze decompositie is puur structureel en veronderstelt geen consistentie of explosie, tenzij expliciet opgelegd.

C. Closure Atlazen en Propagatie

De kernconstructie is de eindige closure atlas $\mathcal{A}$. De paper definieert een atlas-stap operator $G_\mathcal{A}$ die lokale closures over overlappen heen propageert:
$$G_\mathcal{A}(X) = X \cup \bigcup_{\alpha \in A} \text{cl}_\alpha(X \cap \Sigma_\alpha)$$
Door deze monotone operator op een eindig universum te itereren, stabiliseert het proces naar een fixpunt, wat een atlas-gegenereerde closure $C_\mathcal{A}$ definieert. Deze operator wordt bewezen de kleinste globale closure-operator te zijn die alle lokale chart-closures uitbreidt.

3. Belangrijkste Bijdragen en Resultaten

A. Het Lokaal-naar-Globaal Obstactie-criterium

Het primaire resultaat van de paper (Theorema 7.3) biedt een exact, eindig criterium voor de existentie van een globale conservatieve realisatie.

• Definitie van Obstactie: Een obstactie is een tripel $(\alpha, S, \phi)$ waarbij $S \subseteq \Sigma_\alpha$, $\phi \in \Sigma_\alpha$, en $\phi$ een consequentie is van $S$ onder de globale atlas-gegenereerde closure $C_\mathcal{A}$, maar $\phi$ geen consequentie is van $S$ onder de lokale closure $\text{cl}_\alpha$.
• Theorema: Een eindige closure atlas $\mathcal{A}$ staat een globale conservatieve realisatie toe dan en slechts dan als de obstactie-verzameling $\text{Obs}(\mathcal{A})$ leeg is.
• Minimaliteit: Indien $\text{Obs}(\mathcal{A}) = \emptyset$, is de atlas-gegenereerde closure $C_\mathcal{A}$ zelf de unieke minimale globale conservatieve realisatie. Indien obstacties bestaan, bestaat er geen conservatieve realisatie omdat elke globale extensie $C_\mathcal{A}$ moet bevatten, en dus ook de betreffende consequenties moet bevatten.

B. Eindig Algoritme

Omdat de universa eindig zijn, is het obstactie-criterium direct berekenbaar. De paper schetst een algoritme dat $G_\mathcal{A}$ iteratief toepast voor elke lokale premisse-verzameling $S$ in elke chart $\alpha$ en controleert op "chart-zichtbare excess" ($E_{\alpha, S} = (C_\mathcal{A}(S) \cap \Sigma_\alpha) \setminus \text{cl}_\alpha(s)$).

C. Canonieke Gluing van Compatibele Theorieën

Los van het obstactie-probleem bewijst de paper een gluing-theorema (Theorema 8.4) voor overlap-compatibele lokale gesloten theorieën. Indien een familie van lokale gesloten theorieën $\{T_\alpha\}$ exact overeenkomt op de overlappen ($T_\alpha \cap \Sigma_{\alpha\beta} = T_\beta \cap \Sigma_{\alpha\beta}$), dan is hun canonieke unie $T_\cup = \bigcup T_\alpha$ gesloten onder de atlas-gegenereerde closure $C_\mathcal{A}$ en restrictieert deze exact tot elke $T_\alpha$. Dit resultaat houdt stand ongeacht of er obstacties aanwezig zijn in het systeem.

D. Conservatieve Extensie en Pullback

De paper stelt vast dat voor volledige geïndexeerde waarheidsruimtes een conservatieve extensie van closure-systemen overeenkomt met een exacte pullback van waarheidsregio's langs de reductie-afbeelding. Dit slaat een brug tussen de single-system representatietheorie en de multi-chart atlas setting.

4. Betekenis en Omvang

De paper claimt relevantie als een eindige, structurele en closure-theoretische bijdrage.

• Bescheidenheid van Claims: De auteurs stellen expliciet dat de resultaten niet afhankelijk zijn van filosofische theses over de aard van waarheid, negatie of klassieke logica. De termen "waarheid", "theorie" en "oppositie" worden gebruikt als interpretaties van de onderliggende orde-theoretische data.
• Onderscheid van Bestaand Werk: Het raamwerk is onderscheidend van abstracte algebraïsche logica (geen algebraïsabiliteit bestudeerd), database dependency theory (geen minimalisatie van implicatie-bases) en sheaf theory (geen topologische aannames). Het richt zich strikt op de combinatoriek van eindige closure-propagatie.
• Beperkingen: De resultaten zijn strikt eindig. Oneindige universa of oneindige atlazen worden niet behandeld. De paper stelt geen nieuwe logica of vervanging voor de klassieke fundamenten voor, maar biedt een specifieke wiskundige taal voor het analyseren van lokaal-naar-globaal propagatie in closure-systemen.
• Toekomstig Werk: De paper identificeert "conservatieve completions" (het vinden van niet-canonieke globale realisaties die gemengde-premisse consequenties toevoegen die onzichtbaar zijn voor enkele charts) als een richting voor toekomstig onderzoek, verschillend van de gepresenteerde canonieke obstactie-analyse.

Samenvattend biedt de paper een rigoureus, berekenbaar criterium voor wanneer een collectie lokale logische (of closure) regels consistent kan worden samengevoegd tot een globaal systeem zonder onbedoelde lokale consequenties te genereren, waarbij zij de precieze structurele fout (de obstactie) identificeert wanneer een dergelijke samenvoeging onmogelijk is.