Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/160341
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Cintula, Petr | - |
dc.contributor.author | Esteva, Francesc | - |
dc.contributor.author | Gispert, Joan | - |
dc.contributor.author | Godo, Lluis | - |
dc.contributor.author | Montagna, Franco | - |
dc.contributor.author | Noguera, Carles | - |
dc.date.accessioned | 2018-02-08T13:09:32Z | - |
dc.date.available | 2018-02-08T13:09:32Z | - |
dc.date.issued | 2009 | - |
dc.identifier | doi: 10.1016/j.apal.2009.01.012 | - |
dc.identifier | issn: 0168-0072 | - |
dc.identifier.citation | Annals of Pure and Applied Logic 160: 53- 81 (2009) | - |
dc.identifier.uri | http://hdl.handle.net/10261/160341 | - |
dc.description.abstract | This 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. | - |
dc.description.sponsorship | The first author’s work was supported by project 1M0545 of the Ministry of Education, Youth, and Sports of the Czech Republic. The work of the second, third, fourth and sixth author was supported by the Spanish project MULOG2 (TIN2007-68005-C04). The third author’s work was supported by the grants MTM2004-03101 of the Spanish Ministry of Education and Science, including FEDER funds of the European Union, and 2005SGR00083 of D.U.R.S.I of the Generalitat de Catalunya. The sixth authors work was supported by grant 2006-BP-A-10043 of the Departament dEducaci ́o i Universitats of the Generalitat de Catalunya | - |
dc.publisher | Elsevier | - |
dc.relation.isversionof | Preprint | - |
dc.rights | openAccess | - |
dc.subject | Standard completeness | - |
dc.subject | Residuated lattices | - |
dc.subject | Algebraic logic | - |
dc.subject | Embedding properties | - |
dc.subject | Mathematical fuzzy logic | - |
dc.subject | Left-continuous t-norms | - |
dc.title | Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies | - |
dc.type | artículo | - |
dc.identifier.doi | 10.1016/j.apal.2009.01.012 | - |
dc.date.updated | 2018-02-08T13:09:32Z | - |
dc.description.version | Peer Reviewed | - |
dc.language.rfc3066 | eng | - |
dc.contributor.funder | Ministerio de Educación y Ciencia (España) | - |
dc.contributor.funder | Generalitat de Catalunya | - |
dc.contributor.funder | European Commission | - |
dc.contributor.funder | Ministry of Education, Youth and Sports (Czech Republic) | - |
dc.relation.csic | Sí | - |
dc.identifier.funder | http://dx.doi.org/10.13039/501100000780 | es_ES |
dc.identifier.funder | http://dx.doi.org/10.13039/501100002809 | es_ES |
dc.type.coar | http://purl.org/coar/resource_type/c_6501 | es_ES |
item.fulltext | With Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.openairetype | artículo | - |
item.grantfulltext | open | - |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
APAL(2009)_160(1)53-81.pdf | 425,61 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
98
checked on 17-abr-2024
WEB OF SCIENCETM
Citations
80
checked on 22-feb-2024
Page view(s)
281
checked on 24-abr-2024
Download(s)
302
checked on 24-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.