Heyting algebra
The De Morgan laws in a Heyting algebra.