ハイティング代数
In contrast to some many-valued logics, Heyting algebras share the following property with Boolean algebras: if negation has a fixed point (i.e. ¬"a" = "a" for some "a"), then the Heyting algebra is the trivial one-element Heyting algebra.