Criteria for determining whether a t-norm is an additively generated cancellative one

Abstract Recently, Zong et al. demonstrated that a t-norm is an additively generated cancellative t-norm if and only if the fully ordered semigroup induced by it can be order-embedded into the multiplicative semigroup of the unit real interval. In the present study, we put forward several criteria for determining whether a t-norm is an additively generated cancellative one.