Heyting algebra
= Heyting algebra
{c}
{wiki}
A Heyting algebra is a bounded distributive lattice with an implication $a\Rightarrow b$ characterized by $x\leq(a\Rightarrow b)$ exactly when $x\wedge a\leq b$.
= Heyting algebra
{c}
{wiki}
A Heyting algebra is a bounded distributive lattice with an implication $a\Rightarrow b$ characterized by $x\leq(a\Rightarrow b)$ exactly when $x\wedge a\leq b$.