A landscape of calculi. From the pure residuation logic, one obtains a hierarchy of calculi by attributing associativity and/or commutativity properties to the composition operation ⊗. These calculi reflect different views on how the grammatical material is structured.  The table below summarizes the options. 