Una cadena de reforzamientos difusos de la lógica del entrañamiento
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, págªs 115-22. ISBN 84-604-7510-7.
por Lorenzo Peña
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.
volver a la lista de escritos de Lorenzo Peña