Congruences and Idealas in Hilbert Algebras

Chajda, I.;Halas, R.

  • Published : 19991200

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.

Keywords

References

  1. Algebra Univ. v.15 On the structure of varieties with equationally definable principal congruences I Block, W.J.;Pigozzi, D.
  2. Algebra Univ. v.18 On the structure of varieties with equationally definable principal congruences II Block, W.J.;Kohler, P.;Pigozzi, D.
  3. Kobe J. Mathem. v.2 A note on deductive systems of a Hilbert algebra Buseneag, D.
  4. Collection de Logique Mathematique, Series A v.21 Sur les algebres de Hilbert Diego, A.
  5. Math. Japon. v.43 Deductive systems of Hilbert algebras Jun, Y.B.