ハイティング代数
Heyting algebra of propositional formulas in "n" variables up to intuitionist equivalence.