On some axiomatic extensions of the monoidal T-norm based logic MTL. An analysis in the propositional and the first-order case