ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LA SEMÁNTICA DE SOCIEDADES ABIERTAS

  • MANUEL SIERRA ARISTIZABAL Universidad Eafit
Palabras clave: árbol de forzamiento, sociedad abierta, semántica

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

La descarga de datos todavía no está disponible.

Referencias

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.

Publicado
2018-03-16
Cómo citar
SIERRA ARISTIZABAL, M. (2018). ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LA SEMÁNTICA DE SOCIEDADES ABIERTAS. Revista Facultad De Ciencias Básicas, 1(1). https://doi.org/10.18359/rfcb.3168
Sección
Artículos