Semantic forcing trees for semantics of open societies
Abstract
The semantics of open biassertive societies for the paraconsistent logic system P1, is characterized by a visual inference tool called semantic forcing trees for open societies. Given a formula, with this tool the nodes of the corresponding tree are marked, and it is determined whether the formula is valid or not. In case the formula is invalid, the society that refutes it is determined by the leaf markers in its forcing tree
Downloads
References
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.
