Choice-free topological duality for implicative lattices and Heyting algebras

DOI10.1007/s00012-023-00830-8arXiv2302.03674OpenAlexW4388665368MaRDI QIDQ6183434

Chrysafis Hartonas

Publication date: 4 January 2024

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

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

zbMATH Keywords

Heyting algebrassubstructural logicsEsakia dualityimplicative latticessubintuitionistic logicschoice-free duality

Mathematics Subject Classification ID

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

Cites Work

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

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