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]
@inproceedings{Horcik05,
title = {Stronger version of standard completeness theorem for MTL},
author = {Rostislav Horcík},
year = {2005},
url = {http://www.eusflat.org/publications/proceedings/EUSFLAT-LFA_2005/papers/JEL204.pdf},
tags = {completeness},
researchr = {https://researchr.org/publication/Horcik05},
cites = {0},
citedby = {0},
pages = {878-883},
booktitle = {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},
editor = {Eduard Montseny and Pilar Sobrevilla},
publisher = {Universidad Polytecnica de Catalunya},
isbn = {84-7653-872-3},
}