Hilbert algebras with Hilbert-Galois connections

DOI10.1007/s11225-022-10019-0OpenAlexW4307404346MaRDI QIDQ2699017

Daniela Montangie, Sergio Arturo Celani

Publication date: 26 April 2023

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-022-10019-0

zbMATH Keywords

Heyting algebrastopological representationHilbert algebrasHilbert-Galois connections

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hilbert algebras with supremum
• Representation and duality for Hilbert algebras
• Representation of Hilbert algebras and implicative semilattices
• A note on homomorphisms of Hilbert algebras
• Hilbert algebras with a modal operator \(\diamondsuit\)
• Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.
• Logics from Galois connections
• Neighborhood semantics for modal logic
• A note on Hilbert algebras and their related generalized Esakia spaces
• Intuitionistic propositional logic with Galois connections
• Bitopological duality for distributive lattices and Heyting algebras
• Spectral Spaces
• Characterizing intermediate tense logics in terms of Galois connections
• Implicative Semi-Lattices
• HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Semantic analysis of tense logics
• Topological representations of distributive lattices and Brouwerian logics
• Beiträge zur Filtertheorie. II
• Galois Connexions

This page was built for publication: Hilbert algebras with Hilbert-Galois connections