On ideals and congruences of distributive demi-p-algebras

We identify the -ideals of a distributive demi-pseudocomplemented algebra L as the kernels of the boolean congruences on L, and show that they form a complete Heyting algebra which is isomorphic to the interval of the congruence lattice of L where G is the Glivenko congruence. We also show that the notions of maximal -ideal, prime -ideal, and falsity ideal coincide.