Geometrical methods in Wajsberg hoops

The aim of this paper is to show that certain geometric methods—originally developed for investigating ukasiewicz many-valued logics—may be profitably applied to the study of classes of partially ordered residuated monoids. We substantiate this claim by characterizing all free Wajsberg hoops in terms of McNaughton functions over the n-cube, and by giving complete axiomatizations for all varieties of Wajsberg hoops.