Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/10050
COMPARTIR / EXPORTAR:
SHARE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Una cadena de reforzamientos difusos de la lógica del entrañamiento |
Autor: | Peña, Lorenzo CSIC | Palabras clave: | Lógica del entrañamiento Sistemas difusos Sistemas borrosos Implicación Deducción natural Relevancia Grados de falsedad Grados de verdad Entailment logic Fuzzy systems Implication Natural deduction Relevance Degrees of falseness Degrees of truth |
Fecha de publicación: | 1993 | Editor: | Universidad de Santiago de Compostela | Resumen: | [EN] Anderson & Belnap's entailment logic, E, was set up on the ground of
motivations far away from those which have prompted the creation of
fuzzy systems. However, this paper shows how we can develop a fuzzy
account using the setup of system E. E's main idea is that an
implication is true if, and only if, there is a natural deduction from
the antecedent to the consequent and in that deduction ^the antecedent
is not an idle premise. I construe that relevance link now in the sense
that the conclusion is not more false than the premises. By
strengthening system E with a series of additional axioms, we get a
logic fitting such a construal. [ES] El sistema de lógica del entailment de Anderson & Belnap, E, fue construido atendiendo a motivaciones muy alejadas de las que animaron a la puesta en pie de los sistemas fuzzy. Sin embargo, el presente trabajo muestra que cabe desarrollar un tratamiento fuzzy aprovechando la construcción de E. La idea central de E es que una implicación es verdadera si y sólo si hay una deducción natural de la apódosis a partir de la prótasis y eso se nota en que en esa deducción ^la prótasis no es una premisa ociosa. Reinterpretamos aquí ese vínculo de relevancia en el sentido de que el grado de falsedad de la conclusión no exceda al de las premisas. Reforzando el sistema E con una serie de axiomas adicionales, obtenemos una lógica conforme con tal lectura. |
Descripción: | En: III Congreso español de tecnologías y lógica fuzzy comp. por S. Barro & A. Sobrino. Santiago de Compostela: Universidad de Santiago, 1993 pp. 115-22. ISBN 84-604-7510-7. | URI: | http://hdl.handle.net/10261/10050 | ISBN: | 84-604-7510-7 |
Aparece en las colecciones: | (CCHS-IFS) Comunicaciones congresos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
santiesp.pdf | 68,78 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
Page view(s)
492
checked on 24-abr-2024
Download(s)
172
checked on 24-abr-2024
Google ScholarTM
Check
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.