Congruences and Idealas in Hilbert Algebras
Ivan Chajda, Radomír Halaš · Kyungpook mathematical journal · 1999
The concept of ideal for Hilbert algebras is introduced. It is presented a construction of a congruence having given ideal as its class. Moreover, it is shown that every congruence on a Hilbert algebra has this form.