Representation of Hilbert algebras and implicative semilattices
From MaRDI portal
Publication:1419666
DOI10.2478/BF02475182zbMath1034.03056MaRDI QIDQ1419666
Publication date: 19 January 2004
Published in: Central European Journal of Mathematics (Search for Journal in Brave)
Other algebras related to logic (03G25) Stone spaces (Boolean spaces) and related structures (06E15) Semilattices (06A12)
Related Items (13)
On the free implicative semilattice extension of a Hilbert algebra ⋮ Diego's theorem for nuclear implicative semilattices ⋮ Spectral-like duality for distributive Hilbert algebras with infimum ⋮ Esakia style duality for implicative semilattices ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ Relative annihilator-preserving congruence relations and relative annihilator-preserving homomorphisms in bounded distributive semilattices. ⋮ Monotonic distributive semilattices ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ Representation and duality for Hilbert algebras ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic ⋮ Easkia Duality and Its Extensions ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)
Cites Work
This page was built for publication: Representation of Hilbert algebras and implicative semilattices