Easkia Duality and Its Extensions
From MaRDI portal
Publication:5255792
DOI10.1007/978-94-017-8860-1_4zbMath1350.03049OpenAlexW1028909502MaRDI QIDQ5255792
Ramon Jansana, Sergio Arturo Celani
Publication date: 19 June 2015
Published in: Leo Esakia on Duality in Modal and Intuitionistic Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-017-8860-1_4
Priestley dualitydistributive semilatticesweak Heyting algebrasEsakia dualityimplicative semilattices
Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Other algebras related to logic (03G25)
Related Items (2)
Epimorphism surjectivity in varieties of Heyting algebras ⋮ On prelinear Hilbert algebras with successor
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algebraic approach to subframe logics. Modal case
- Generalized Priestley quasi-orders
- Stone coalgebras
- Priestley style duality for distributive meet-semilattices
- Generalized Kripke frames
- Syntax and semantics of superintuitionistic logics
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic
- Topology and duality in modal logic
- Varieties with equationally definable principal congruences
- A propositional logic with explicit fixed points
- Remarks on Priestley duality for distributive lattices
- A coalgebraic view of Heyting duality
- Representation of Hilbert algebras and implicative semilattices
- A closer look at some subintuitionistic logics
- Quasiorders and sublattices of distributive lattices
- The Frattini sublattice of a distributive lattice
- Priestley duality for some subalgebra lattices
- Distributive lattices with an operator
- Esakia style duality for implicative semilattices
- Varieties of complex algebras
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- The subalgebra lattice of a Heyting algebra
- Bitopological duality for distributive lattices and Heyting algebras
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Maximal subalgebras of Heyting algebras
- Brouwerian Semilattices
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Stone lattices: a topological approach
- Logics Which Are Characterized by Subresiduated Lattices
- Basic Propositional Calculus I
- Bounded distributive lattices with strict implication
- Continuous Lattices and Domains
- Canonical Extensions, Esakia Spaces, and Universal Models
- Implicative Semi-Lattices
- n‐linear weakly Heyting algebras
- Prime Ideal Structure in Commutative Rings
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Canonical extensions and relational completeness of some substructural logics
- Topological representations of distributive lattices and Brouwerian logics
- Ideals in Partially Ordered Sets
This page was built for publication: Easkia Duality and Its Extensions