GRÁFICOS EXISTENCIALES PARACONSISTENTES ALFAK

Abstract

En este trabajo, se presentan los gráficos existenciales para el cálculo proposicional paraconsistente, KT4P. Este sistema deductivo, es un fragmento de la lógica proposicional modal S4, y se construye a partir del cálculo proposicional clásico positivo, junto con un operador de negación débil. El sistema KT4P, se encuentra caracterizado por una semántica de mundos posibles, además, KT4P es paraconsistente, es decir, no colapsa en la presencia de contradicciones. Los gráficos existenciales para este sistema paraconsistente, se presentan en el estilo de los gráficos alfa de Charles Sanders Peirce, junto con reglas para bucles y rizos similares a las presentadas recientemente por Arnold Oostra, para los gráficos existenciales intuicionistas. Todas las pruebas, son presentadas de manera completa, rigurosa y detallada.