Heyting algebra
Heyting algebra of formulas equivalent with respect to a theory "T".