Las álgebras booleanas son exactamente esas álgebras de Heyting en las cuales "x" = ¬¬"x" para todo "x", o, equivalentemente, en el cual "x" v ¬"x" = 1 para todo "x".