Esakia duals of regular Heyting algebras

DOI10.1007/s00012-023-00833-5arXiv2303.11246MaRDI QIDQ6183438

Gianluca Grilletti, Davide Emilio Quadrellaro

Publication date: 4 January 2024

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

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

zbMATH Keywords

Heyting algebrasduality theoryEsakia spaces

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Equational classes, universal algebra in model theory (03C05) Intermediate logics (03B55)

Cites Work

• Propositional logics of dependence
• Distributive envelopes and topological duality for lattices via canonical extensions.
• Propositional team logics
• Some results on intermediate constructive logics
• Inquisitive logic
• From IF to BI. A tale of dependence and separation
• Profinite Heyting algebras
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• A semantic hierarchy for intuitionistic logic
• On intermediate inquisitive and dependence logics: an algebraic study
• Undefinability in inquisitive logic with tensor
• Algebraic and topological semantics for inquisitive logic via choice-free duality
• Compositional semantics for a language of imperfect information
• Inquisitive Semantics
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Dependency as Question Entailment
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Glivenko type theorems for intuitionistic modal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item