ハイティング代数
Heyting algebra of formulas equivalent with respect to a theory "T".