Digital.CSIC > Humanidades y Ciencias Sociales > Centro de Ciencias Humanas y Sociales - Instituto de Filosofía (CCHS-IFS) > (CCHS-IFS) Comunicaciones congresos >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10261/10050
|
| Title: | Una cadena de reforzamientos difusos de la lógica del entrañamiento Google Scholar |
| Authors: | Peña, Lorenzo |
| Keywords: | 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 |
| Issue Date: | 1993 |
| Publisher: | Universidad de Santiago |
| Abstract: | [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. |
| Description: | 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 |
| Appears in Collections: | (CCHS-IFS) Comunicaciones congresos |
Files in This Item:
|
