Topological representation of intuitionistic and distributive abstract logics

DOI10.1007/S11787-017-0166-3zbMATH Open1420.03021arXiv1508.04428OpenAlexW2277554116MaRDI QIDQ2399600FDOQ2399600

Authors: Andreas B. M. Brunner, Steffen Lewitzka 

Publication date: 24 August 2017

Published in: Logica Universalis (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1508.04428

Recommendations

• Abstract logics, logic maps, and logic homomorphisms
• scientific article; zbMATH DE number 2196608
• Topological representations of distributive lattices and Brouwerian logics
• Intuitionistic logic and modality via topology
• Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic

zbMATH Keywords

topologydualityintuitionistic logicsabstract logicsspectral spaces with implication

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22) Logical aspects of lattices and related structures (03G10)

Cites Work

• Title not available (Why is that?)
• Prime Ideal Structure in Commutative Rings
• Title not available (Why is that?)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• An algebraic approach to non-classical logics
• Topo-canonical completions of closure algebras and Heyting algebras
• Algebraizable logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bitopological duality for distributive lattices and Heyting algebras
• Combining algebraizable logics
• An introduction to partially ordered structures and sheaves
• A first approach to abstract modal logics
• Minimally generated abstract logics
• Abstract logics, logic maps, and logic homomorphisms
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Abstract logics, logic maps, and logic homomorphisms
• Title not available (Why is that?)
• Topological representations of distributive lattices and Brouwerian logics
• Abstract Interpretation from a Topological Perspective
• Title not available (Why is that?)
• Title not available (Why is that?)
• Morpho-logic from a topos perspective -- application to symbolic AI
• Minimally generated abstract logics

This page was built for publication: Topological representation of intuitionistic and distributive abstract logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2399600)