Resumen de First order SMTL logic and quasi-witnessed models

Marco Cerami, Francesc Esteva i Massaguer

• In this paper we prove strong completeness of axiomatic extensions of First Order SMTL logic adding the so-called quasi-witnessed axioms with respect to quasi-witnessed Models. In order to achieve this result, we make use of methods that are typical of Classical Predicate Logic, and have been later generalized by P. H'ajek to cope with Predicate Fuzzy Logic. At the end of the paper, we obtain, as a particular case, the result of strong completeness, already proven by M.C. Laskowski and S. Malekpour, for Product Predicate Logic with respect to quasi-witnessed Models.