English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/39469
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


First order SMTL logic and quasi-witnessed models

AuthorsCerami, Marco; Esteva, Francesc
KeywordsFoundations of fuzzy logic
Mathematical fuzzy logic
First order monoidal t-norm based logic
First order product logic
Witnessed and quasiwitnessed models
Issue Date2010
CitationESTYLF 2010
AbstractIn 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.
Description6 páginas.-- Trabajo presentado al XV Congreso Español sobre Tecnologías y Lógica Fuzzy.
Appears in Collections:(IIIA) Comunicaciones congresos
Files in This Item:
File Description SizeFormat 
COMUNICACIONES_A_CONGRESOS293776[1].pdf645,37 kBAdobe PDFThumbnail
Show full item record
Review this work

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.