On the structure of hoops (Q1866813)

As is known, residuated structures are related to many types of algebras associated with logical systems. The paper is devoted to the study of the so-called hoops, i.e. ordered commutative residuated integral monoids. For instance, the Brouwerian semilattices and the \(\{ \cdot ,\rightarrow ,1\} \)-reducts of Wajsberg algebras (the Wajsberg hoops) are special cases of hoops. The authors describe in detail the structure of subdirectly irreducible hoops and show the importance of Wajsberg hoops for this study. Further they define the varietal powers of hoops which are used to generate increasing chains of varieties of hoops from given varieties of Wajsberg hoops. Moreover, it is proved that the variety of all hoops is generated, as a quasivariety, by its finite algebras.