Bibliographic citations
This is an automatically generated citacion. Modify it if you see fit
Quispe, M., (2019). Sistema deductivo basado en grafos para la lógica intuicionista [Tesis, Universidad Nacional de San Agustín de Arequipa]. http://repositorio.unsa.edu.pe/handle/UNSA/8759
Quispe, M., Sistema deductivo basado en grafos para la lógica intuicionista [Tesis]. PE: Universidad Nacional de San Agustín de Arequipa; 2019. http://repositorio.unsa.edu.pe/handle/UNSA/8759
@misc{renati/1147160,
title = "Sistema deductivo basado en grafos para la lógica intuicionista",
author = "Quispe Cruz, Marcela",
publisher = "Universidad Nacional de San Agustín de Arequipa",
year = "2019"
}
Title: Sistema deductivo basado en grafos para la lógica intuicionista
Authors(s): Quispe Cruz, Marcela
Advisor(s): Gutierrez Caceres, Juan Carlos
Keywords: Teoria de la prueba; Grafos-de-prueba; N-Grafos; Lógica intuicionista; Cálculo de secuentes; sistemas de múltiple conclusión
OCDE field: https://purl.org/pe-repo/ocde/ford#2.02.04
Issue Date: 2019
Institution: Universidad Nacional de San Agustín de Arequipa
Abstract: El 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
Link to repository: http://repositorio.unsa.edu.pe/handle/UNSA/8759
Discipline: Ingeniería de Sistemas
Grade or title grantor: Universidad Nacional de San Agustín de Arequipa.Facultad de Ingeniería de Producción y Servicios
Grade or title: Ingeniera de Sistemas
Register date: 20-Jun-2019
This item is licensed under a Creative Commons License