The following pages link to (Q3768949):
Displayed 3 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)
- Spectral-like duality for distributive Hilbert algebras with infimum (Q2411689) (← links)