The following pages link to Hilbert algebras with supremum (Q422345):
Displayed 12 items.
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← 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)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- Semi maximal filter in Hilbert algebra (Q2988426) (← links)
- Stonean Hilbert algebra (Q2988453) (← links)
- Some results in local Hilbert algebras (Q5270932) (← links)
- Characterizations of near-Heyting algebras (Q6166630) (← links)