Topological representation of intuitionistic and distributive abstract logics

DOI10.1007/S11787-017-0166-3MaRDI QIDQ2399600zbMATH OpenOpenAlexFDO

Authors Andreas B. M. Brunner, Steffen Lewitzka

Publication date 24 August 2017

Published in Logica Universalis (Search for Journal in Brave)

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 5316605 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3496154 (Why is no real title available?)
• scientific article; zbMATH DE number 3496155 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3024119 (Why is no real title available?)
• A first approach to abstract modal logics
• Abstract logics, logic maps, and logic homomorphisms
• Algebraizable logics
• An algebraic approach to non-classical logics
• An introduction to partially ordered structures and sheaves
• Bitopological duality for distributive lattices and Heyting algebras
• Combining algebraizable logics
• Minimally generated abstract logics
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Topo-canonical completions of closure algebras and Heyting algebras

Cited in

(8)

• Abstract logics, logic maps, and logic homomorphisms
• scientific article; zbMATH DE number 2013229 (Why is no real title available?)
• Topological representations of distributive lattices and Brouwerian logics
• Abstract Interpretation from a Topological Perspective
• scientific article; zbMATH DE number 4081796 (Why is no real title available?)
• scientific article; zbMATH DE number 2196608 (Why is no real title available?)
• Minimally generated abstract logics
• Morpho-logic from a topos perspective -- application to symbolic AI

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)