Abstract
In [6], iH-algebras were introduced in order to indicate an equational version of the class of Hilbert algebras where each pair of elements has infimum. These authors also proved that this variety has the class of Curry's implicative semilattices as a proper subvariety. On the other hand, in [4] a special class of Hilbert algebras associated with ordered sets, which they called order algebras, were investigated. These algebras were also studied in [1] under the name of pure Hilbert algebras. Bearing in mind the above results, in this paper we introduce the notion of pure Hilbert algebras with infimum . Furthermore, we characterize the lattice of ipH-congruences and we determine the subdirectly irreducible ipH-algebras. Besides, we prove that subdirectly irreducible ipH-algebras are also subdirectly irreducible iH-algebras