Two new classification theorems on residuated monoids | IEEE Conference Publication | IEEE Xplore