Topological representation of intuitionistic and distributive abstract logics

Andreas B. M. Brunner,Steffen Lewitzka
DOI: https://doi.org/10.1007/s11787-017-0166-3
2015-08-19
Abstract:We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be topologized in a direct and natural way. This facilitates a topological study of classes of concrete logics whenever they are given in abstract form. Moreover, such a direct topological approach avoids the often complex algebraic and lattice-theoretic machinery usually applied to represent logics. Motivated by that point of view, we define in this paper the category of intuitionistic abstract logics with stable logic maps as morphisms, and the category of implicative spectral spaces with spectral maps as morphisms. We show the equivalence of these categories and conclude that the larger categories of distributive abstract logics and distributive sober spaces are equivalent, too.
Logic in Computer Science,Logic
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study intuitionistic abstract logics and distributive abstract logics through topological methods, and establish the equivalence relations between these logical systems and topological spaces. Specifically, the authors define two categories: the category of intuitionistic abstract logics (with morphisms being stable logical mappings) and the category of implicative spectral spaces (with morphisms being spectral mappings). They show the equivalence between these two categories, and further conclude that the larger categories - distributive abstract logics and distributive sober spaces - are also equivalent. ### Main problems 1. **How to study abstract logics with topological methods**: - Abstract logics can be topologized in a direct and natural way, which makes it possible to study specific logical systems with topological methods. - This method avoids the complex algebraic and lattice - theoretic tools usually used to represent logical systems. 2. **Establish the equivalence relations between logical systems and topological spaces**: - Define the category of intuitionistic abstract logics and the category of implicative spectral spaces, and prove the equivalence between them. - Further extend to the equivalence between distributive abstract logics and distributive sober spaces. 3. **Provide a new method of duality theorems**: - Propose duality theorems about distributive (intuitionistic) abstract logics and distributive (spectral) spaces. - Show that many intermediate logics can be dually characterized by (implicative) sober and spectral spaces. ### Formula presentation Some key concepts and formulas involved in the paper are as follows: - **Theory**: \[ T \subseteq \text{Th}_L \quad \text{and} \quad T \neq \emptyset \implies \bigcap_{T \in \text{Th}_L} \] - **Connectives**: - **Disjunction**: \[ a \lor b \in T \iff a \in T \text{ or } b \in T \] - **Conjunction**: \[ a \wedge b \in T \iff a \in T \text{ and } b \in T \] - **Negation**: \[ \sim a \in T \iff T \cup \{a\} \text{ is inconsistent} \] - **Implication**: \[ a \to b \in T \iff \forall \text{ completely prime theories } T' \supseteq T, \text{ if } a \in T' \text{ then } b \in T' \] - **Complete Theories**: \[ CTh_L = PTh_L \] - **Spectral Space**: - **Irreducible Closed Set**: \[ F \text{ is irreducible if and only if for all closed sets } F_1, F_2 \subseteq Y, (F_1 \cup F_2 = F) \implies F_1 = F \text{ or } F_2 = F \] - **Generic Point**: \[ y \text{ is a generic point of } F \text{ if and only if } F = \{y\} \] Through these formulas and definitions, the paper shows...