English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/160341
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 | DATACITE
Exportar a otros formatos:


Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies

AuthorsCintula, Petr; Esteva, Francesc ; Gispert, Joan; Godo, Lluis ; Montagna, Franco; Noguera, Carles
KeywordsStandard completeness
Residuated lattices
Algebraic logic
Embedding properties
Mathematical fuzzy logic
Left-continuous t-norms
Issue Date2009
CitationAnnals of Pure and Applied Logic 160: 53- 81 (2009)
AbstractThis paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics-namely the class of algebras defined over the real unit interval, the rational unit interval, the hyperreals (all ultrapowers of the real unit interval), the strict hyperreals (only ultrapowers giving a proper extension of the real unit interval) and finite chains, respectively-and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and (strict) hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. © 2009 Elsevier B.V. All rights reserved.
Identifiersdoi: 10.1016/j.apal.2009.01.012
issn: 0168-0072
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
APAL(2009)_160(1)53-81.pdf425,61 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.