Heyting algebra
Heyting algebra semantics.