dc.contributorGutierrez Caceres, Juan Carlos
dc.creatorQuispe Cruz, Marcela
dc.date2019-06-20T13:57:22Z
dc.date2019-06-20T13:57:22Z
dc.date2019-06-20T13:57:22Z
dc.date2019-06-20T13:57:22Z
dc.date2019
dc.date.accessioned2023-08-08T01:29:13Z
dc.date.available2023-08-08T01:29:13Z
dc.identifierhttp://repositorio.unsa.edu.pe/handle/UNSA/8759
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/7982985
dc.descriptionEl sistema geométrico de deducción denominado de N-Grafos fue introducido por De Oliveira en el año 2001. Las pruebas en este sistema son representadas por medio de digrafos. Estos grafos de pruebas se basan en la deducción natural y en el cálculo de secuentes de Gentzen, combinando ideas de cuatro abordajes geométricos consolidadas en la literatura de teoría de la prueba: las tablas de de-senvolvimiento (Kneale, 1957), redes-de-prueba (Girard, 1987), logical flow graphs (Buss, 1991), y principalmente pruebas-como-grafos (Statman, 1974). Dado que to-dos estos sistemas geométricos apelan a la simetría clásica entre las premisas y las conclusiones, proporcionar una versión intuicionista de cualquiera de estos es un ejercicio interesante para ampliar el rango de aplicabilidad del sistema geométrico en cuestión. En esta tesis se produce una versión intuicionista para los N-Grafos, basado en el sistema FIL de De Paiva y Pereira. Recuerde que FIL tiene conclusiones múltiples y utiliza un dispositivo de indexación en el secuente, que permite el seguimiento de las relaciones de dependencia entre fórmulas en el antecedente y consecuente del secuente. Una condición en la regla de implicación a la derecha asegura que sólo fórmulas constructivas válidas se deriven. Se demuestra la correctitud y completitud de estos N-Grafos intuicionistas con respecto a FIL
dc.descriptionTesis
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Nacional de San Agustín de Arequipa
dc.publisherPE
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightshttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.sourceRepositorio Institucional - UNSA
dc.sourceUniversidad Nacional de San Agustín de Arequipa
dc.subjectGrafos-de-prueba
dc.subjectsistemas de múltiple conclusión
dc.subjectCálculo de secuentes
dc.subjectLógica intuicionista
dc.subjectTeoria de la prueba
dc.subjectN-Grafos
dc.subjecthttps://purl.org/pe-repo/ocde/ford#2.02.04
dc.titleSistema deductivo basado en grafos para la lógica intuicionista
dc.typeinfo:eu-repo/semantics/bachelorThesis


Este ítem pertenece a la siguiente institución