Uniform proofs of standard completeness for extensions of first-order MTL

We provide general - and automatedly verifiable - sufficient conditions that ensure standard completeness for logics formalized Hilbert-style. Our approach subsumes many existing results and allows for the discovery of new fuzzy logics which extend first-order Monoidal T-norm Logic with propositional axioms