Rostislav Horcík. Stronger version of standard completeness theorem for MTL. In Eduard Montseny, Pilar Sobrevilla, editors, Proceedings of the Joint 4th Conference of the European Society for Fuzzy Logic and Technology and the 11th Rencontres Francophones sur la Logique Floue et ses Applications, Barcelona, Spain, September 7-9, 2005. pages 878-883, Universidad Polytecnica de Catalunya, 2005. [doi]