Un sistema alternativo para los gráficos Alfa de Peirce
Tipo de documento
Autores
Lista de autores
Zambrano, Jefferson
Resumen
En este proyecto se propone desarrollar un sistema alternativo para los gráficos Alfa de Peirce. Los objetos de este sistema se denominarían cadenas Alfa y en él se definirían reglas de transformación de carácter algebraico que permitan realizar, al igual que en los gráficos Alfa, cualquier demostración de manera gráfica. Finalmente se pretende demostrar la equivalencia entre el nuevo sistema y el sistema original de losgráficos Alfa
Fecha
2019
Tipo de fecha
Estado publicación
Términos clave
Contextos o situaciones | Ecuaciones e inecuaciones diferenciales | Gráfica | Software
Enfoque
Idioma
Revisado por pares
Formato del archivo
Usuario
Tipo de tesis
Institución (tesis)
Referencias
Caicedo, Xavier, Elementos de l´ogica y calculabilidad. Bogot´a: Una empresa docente, 1990. [2] Fuentes, Daniel, C´alculo de secuentes y gr´aficos existenciales Alfa: Dos construcciones equivalentes para la l´ogica proposicional. Trabajo de grado (programa de Matem´aticas con ´enfasis en Estad´ıstica). Ibagu´e: Universidad del Tolima, 2014. [3] G´omez, Andrea, Gr´aficos Alfa para la l´ogica implicativa con conjunci´on. Trabajo de grado (programa de Matem´aticas con ´enfasis en Estad´ıstica). Ibagu´e: Universidad del Tolima, 2013. [4] Mart´ınez, Yorladys, Un modelo real para los gr´aficos Alfa. Trabajo de grado (programa de Matem´aticas con ´enfasis en Estad´ıstica). Ibagu´e: Universidad del Tolima, 2014. [5] Oostra, Arnold, “Los gr´aficos Alfa de Peirce aplicados a la l´ogica intuicionista”. Cuadernos de Sistem´atica Peirceana 2 (2010), 25-60. [6] Oostra, Arnold, Notas de l´ogica matem´atica. In´edito. Ibagu´e: Universidad del Tolima, 2018. [7] Roberts, Don D., The Existential Graphs of Charles S. Peirce. The Hague: Mouton, 1973. [8] Taboada, Jorge y Rodr´ıguez, Danilo, Una demostraci´on de la equivalencia entre los gr´aficos Alfa y la l´ogica proposicional. Trabajo de grado (programa de Matem´aticas con ´enfasis en Estad´ıstica). Ibagu´e: Universidad del Tolima, 2010. [9] Zalamea, Fernando, Los gr´aficos existenciales peirceanos. Bogot´a: Universidad Nacional de Colombia, 2010. 41 [10] Zeman, J. Jay, The Graphical Logic of C.S. Peirce. Chicago: University of Chicago, 1964.
Proyectos
Cantidad de páginas
44