Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/134587
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Logics for approximate and strong entailments |
Autor: | Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID ; Rodriguez, Ricardo O.; Vetterlein, Thomas | Palabras clave: | Non-classical logics Similarity-based reasoning Strong entailment Approximate entailment |
Fecha de publicación: | 2012 | Editor: | Elsevier | Citación: | Fuzzy Sets and Systems 197 (16): 59- 70 (2012) | Resumen: | We consider two kinds of similarity-based reasoning and formalise them in a logical setting. In one case, we are led by the principle that conclusions can be drawn even if they are only approximately correct. This leads to a graded approximate entailment, which is weaker than classical entailment. In the other case, we follow the principle that conclusions must remain correct even if the assumptions are slightly changed. This leads to a notion of a graded strong entailment, which is stronger than classical entailment. We develop two logical calculi based on the notions of approximate and of strong entailment, respectively. © 2011 Elsevier B.V. | URI: | http://hdl.handle.net/10261/134587 | DOI: | 10.1016/j.fss.2011.09.005 | Identificadores: | doi: 10.1016/j.fss.2011.09.005 issn: 0165-0114 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
FSS197(16)_59-70.pdf | 252,47 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
15
checked on 09-abr-2024
WEB OF SCIENCETM
Citations
11
checked on 25-feb-2024
Page view(s)
204
checked on 19-abr-2024
Download(s)
314
checked on 19-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.