A note on Hilbert algebras and their related generalized Esakia spaces

DOI10.1007/s11083-015-9378-4zbMath1406.03062OpenAlexW2270639794MaRDI QIDQ2520718

Ramon Jansana, Sergio Arturo Celani

Publication date: 16 December 2016

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-015-9378-4

zbMATH Keywords

Priestley dualityHilbert algebrasEsakia dualityimplicative fragment of intuitionistic logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Other algebras related to logic (03G25) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (1)

Hilbert algebras with Hilbert-Galois connections

Cites Work

• Priestley style duality for distributive meet-semilattices
• Representation and duality for Hilbert algebras
• Ideal completion and Stone representation of ideal-distributive ordered sets
• An algebraic approach to non-classical logics
• Representation of Hilbert algebras and implicative semilattices
• A note on homomorphisms of Hilbert algebras
• Esakia style duality for implicative semilattices
• Leo Esakia on duality in modal and intuitionistic logics
• On the free implicative semilattice extension of a Hilbert algebra
• Brouwerian Semilattices
• Implicative Semi-Lattices
• Ideals in Partially Ordered Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on Hilbert algebras and their related generalized Esakia spaces