Category:Heyting Algebras

This category contains results about Heyting Algebras.
Definitions specific to this category can be found in Definitions/Heyting Algebras.

Let $\struct {L, \wedge, \vee, \preceq}$ be a lattice.

Then $\struct {L, \wedge, \vee, \preceq}$ is a Heyting algebra if and only if:

$(1): \quad \struct {L, \wedge, \vee, \preceq}$ is a Brouwerian lattice

$(2): \quad L$ has a smallest element.