ハイティング代数
Heyting algebra semantics.