ハイティング代数
One of the two De Morgan laws is satisfied in every Heyting algebra, namely