Choice-free topological duality for implicative lattices and Heyting algebras

DOI10.1007/S00012-023-00830-8arXiv2302.03674OpenAlexW4388665368MaRDI QIDQ6183434FDOQ6183434

Chrysafis Hartonas

Publication date: 4 January 2024

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

Abstract: We develop a common semantic framework for the interpretation both of $mathbfIPC$, the intuitionistic propositional calculus, and of logics weaker than $mathbfIPC$ (substructural and subintuitionistic logics). This is done by proving a choice-free representation and duality theorem for implicative lattices, which may or may not be distributive. The duality specializes to a choice-free duality for the category of Heyting algebras and a category of topological sorted frames with a ternary sorted relation.

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

zbMATH Keywords

substructural logicsHeyting algebrasEsakia dualityimplicative latticessubintuitionistic logicschoice-free duality

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Representation theory of lattices (06B15) Complete lattices, completions (06B23) Lattices and duality (06D50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stone duality for lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Boolean Algebras with Operators. Part I
• A propositional logic with explicit fixed points
• Residuated lattices. An algebraic glimpse at substructural logics
• Relational semantics for full linear logic
• On the Blok-Esakia Theorem
• Bounded lattice expansions
• Generalized Kripke frames
• A closer look at some subintuitionistic logics
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Semantic analysis of orthologic
• Modal companions of intermediate propositional logics
• Subintuitionistic logics
• Bitopological duality for distributive lattices and Heyting algebras
• Weak Logics with Strict Implication
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Relation algebras as residuated Boolean algebras
• Bi-approximation semantics for substructural logic at work
• Modal translation of substructural logics
• Weak subintuitionistic logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Order-dual relational semantics for non-distributive propositional logics
• Generalized Kripke semantics for the Lambek-Grishin calculus
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
• Canonical extensions and profinite completions of semilattices and lattices
• On the Logic of Information Flow
• CHOICE-FREE STONE DUALITY
• Algebraic and topological semantics for inquisitive logic via choice-free duality
• Choice-free duality for orthocomplemented lattices by means of spectral spaces
• Stone duality for lattice expansions
• Duality results for (co)residuated lattices
• Duality for normal lattice expansions and sorted residuated frames with relations
• Representation of Lattices with Modal Operators in Two-Sorted Frames
• Positive modal logic beyond distributivity

This page was built for publication: Choice-free topological duality for implicative lattices and Heyting algebras

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