English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/139264
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


Strict core fuzzy logics and quasi-witnessed models

AuthorsCerami, Marco; Esteva, Francesc
KeywordsWitnessed and quasi-witnessed models
Mathematical fuzzy logic
First-order monoidal t-norm based logic
Foundations of fuzzy logic
First-order product logic
Issue Date2011
CitationArchive for Mathematical Logic 50: 625- 641 (2011)
AbstractIn this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M. C. Laskowski and S. Malekpour in [19]. Finally we study similar problems for expansions with Δ, define Δ-quasi-witnessed axioms and prove that any axiomatic extension of a first-order strict core fuzzy logic, expanded with Δ, and Δ-quasi-witnessed axioms are complete with respect to Δ-quasi-witnessed models. © 2011 Springer-Verlag.
Identifiersdoi: 10.1007/s00153-011-0237-8
issn: 0933-5846
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
Show full item record
Review this work

Related articles:

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