Árboles de forzamiento semántico para la semántica de sociedades abiertas
Resumen
La semántica de sociedades biasertivas abiertas para el sistema de lógica paraconsistente P1, es caracterizada por una herramienta de inferencia visual llamada árboles de forzamiento semántico para sociedades abiertas. Dada una fórmula, con esta herramienta se marcan los nodos del árbol asociado a la misma, y se determina si la fórmula es válida o no. En el caso que la fórmula sea inválida, la sociedad que la refuta está determinada por las marquillas de las hojas en su árbol de forzamiento.
Descargas
Referencias bibliográficas
Barrero, T. y Carnielli W. (2005). Tableaux sin refutación. Matemáticas: Enseñanza Universitaria, 13(2): 81-99.
Beth, E. (1962). Formal methods, an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Reidel Publishing, Dordrecht, 168p.
Carnielli, W. (1987). Systematization of finite many-valued logics through the method of tableaux. The Journal of Symbolic Logic. 52(2):473-493.
Carnielli, W. Lima Marquez, M. (1999). Society semantics and multiple-valued logics. Contemporary Mathematics. 235:3-52. https://goo.gl/ig3bto
Guarín, H. y Montoya, M. (2003). Semántica de sociedades como un modelo o interpretación de las lógicas básicas paraconsistente y paracompleta a nivel atómico (Especialización en Lógica y Filosofía). Universidad EAFIT.
Sette, A. (1973). On the propositional calculus P1. Mathematic Japonicae. 18(13):173-180.
Sierra, M. (2001). Arboles de forzamiento semántico. Revista Universidad EAFIT. 37(123):53-72.
Sierra, M. (2003). Inferencia visual para la lógica básica paraconsistente y paracompleta. MS-Print, Medellín, 152p.
Sierra, M. (2006). Caracterización deductiva de los árboles de forzamiento semántico. Revista Ingeniería y Ciencia. 2(3):73-102. https://goo.gl/rarWPW
Smullyan, R. (1968). First order logic. Springer-Verlag, Berlin, 158p.
