First order SMTL logic and quasi-witnessed models

• Autores: Marco Cerami, Francesc Esteva i Massaguer
• Localización: XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico] / coord. por Antonio Peregrín Rubio, 2010, ISBN 978-84-92944-02-6, págs. 145-150
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.