Heyting algebra
ハイティング代数はブール代数を一般化した有界束であり、ブール代数と同様「"a" ∨"b" 」と「"a" ∧"b" 」が定義でき、さらに「IF "a" THEN "b" 」を意味する「"a" →"b" 」が定義できるという特徴を持っている。また「"a" の否定」を意味する「￢"a" 」を「"a" → 0 」として定義できるがブール代数と違い二重否定の法則 ￢ ￢"a" ＝"a" は成り立つとは限らない。