Alternative proof of standard completeness theorem for MTL
scientific article; zbMATH DE number 5081686