Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/160427
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties |
Autor: | Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID ; Noguera, Carles CSIC ORCID | Palabras clave: | Truth-constants T-norm based fuzzy logics Residuated lattices Mathematical fuzzy logic First-order predicate non-classical logics Algebraic logic |
Fecha de publicación: | 2009 | Editor: | Elsevier | Citación: | Annals of Pure and Applied Logic 161: 185- 202 (2009) | Resumen: | This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms (mainly continuous and weak nilpotent minimum t-norms). We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of considering canonical real and rational semantics provided by the algebras where the truth-constants are interpreted as the numbers they actually name. Finally, we study completeness properties restricted to evaluated formulae of the kind over(r, -) → φ, where φ has no additional truth-constants. © 2009 Elsevier B.V. All rights reserved. | URI: | http://hdl.handle.net/10261/160427 | DOI: | 10.1016/j.apal.2009.05.014 | Identificadores: | doi: 10.1016/j.apal.2009.05.014 issn: 0168-0072 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
APAL(2009)_161(185-202).pdf | 285,58 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
44
checked on 22-abr-2024
WEB OF SCIENCETM
Citations
33
checked on 23-feb-2024
Page view(s)
279
checked on 25-abr-2024
Download(s)
252
checked on 25-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.