Isabel M. A. Ferreirim

Learn More
A hoop is a naturally ordered pocrim (i.e., a partially ordered com-mutative residuated integral monoid). We list some basic properties of hoops, describe in detail the structure of subdirectly irreducible hoops, and establish that the class of hoops, which is a variety, is generated, as a quasivariety, by its nite members.
  • 1