T-norm fuzzy logic