Definition:Heyting Algebra

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Also known as

A Heyting algebra can also be referred to as a Heyting lattice.


Source of Name

This entry was named for Arend Heyting.


Sources