Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/39469
COMPARTIR / EXPORTAR:
SHARE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | First order SMTL logic and quasi-witnessed models |
Autor: | Cerami, Marco; Esteva, Francesc CSIC ORCID | Palabras clave: | Foundations of fuzzy logic Mathematical fuzzy logic First-order monoidal t-norm based logic First-order product logic Witnessed and quasiwitnessed models |
Fecha de publicación: | 2010 | Citación: | ESTYLF 2010 | 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. | Descripción: | 6 páginas.-- Trabajo presentado al XV Congreso Español sobre Tecnologías y Lógica Fuzzy. | URI: | http://hdl.handle.net/10261/39469 |
Aparece en las colecciones: | (IIIA) Comunicaciones congresos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
COMUNICACIONES_A_CONGRESOS293776[1].pdf | 645,37 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
Page view(s)
251
checked on 27-mar-2024
Download(s)
28
checked on 27-mar-2024
Google ScholarTM
Check
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.