Árboles de forzamiento semántico para la semántica de sociedades abiertas

  • Manuel Siera 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. 

Biografía del autor/a

Manuel Siera Aristizabal, Universidad Eafit
Departamento de Ciencias Matemáticas, Universidad Eafit, Medellín, Colombia.

Descargas

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

Biografía del autor/a

Manuel Siera Aristizabal, Universidad Eafit
Departamento de Ciencias Matemáticas, Universidad Eafit, Medellín, Colombia.

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.

Cómo citar
Siera Aristizabal, M. (2018). Árboles de forzamiento semántico para la semántica de sociedades abiertas. Revista Facultad De Ciencias Básicas, 14(2), 91-99. https://doi.org/10.18359/rfcb.3168
Publicado
2018-03-16
Sección
Artículos