Uniform proofs of standard completeness for extensions of first-order MTL
scientific article; zbMATH DE number 6493330
scientific article