Congruences and Idealas in Hilbert Algebras

Abstract

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.