The following pages link to Hilbert algebras with supremum (Q422345):
Displaying 18 items.
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- Representation of Hilbert algebras and implicative semilattices (Q1419666) (← links)
- Prelinear Hilbert algebras (Q2035275) (← links)
- On prelinear Hilbert algebras with successor (Q2035276) (← links)
- Finite distributive semilattices (Q2156415) (← links)
- Variations of the free implicative semilattice extension of a Hilbert algebra (Q2318265) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- Spectral-like duality for distributive Hilbert algebras with infimum (Q2411689) (← links)
- A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718) (← links)
- Duality for finite Hilbert algebras (Q2581404) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- Notes on bounded Hilbert algebras with supremum (Q2937225) (← links)
- Semi maximal filter in Hilbert algebra (Q2988426) (← links)
- Stonean Hilbert algebra (Q2988453) (← links)
- Some results in local Hilbert algebras (Q5270932) (← links)
- Duality for Hilbert algebras with supremum: An application (Q5355081) (← links)
- Characterizations of near-Heyting algebras (Q6166630) (← links)
- Intuitionistic modal algebras (Q6562368) (← links)
