"monoidal t-norm logic" . . "monoidal t-norm logic" . .