Véase también álgebra de Heyting.