Redirecting to Monoidal t-norm logic