Sesión Lógica y ComputabilidadSemántica de las $F_{1}$-estructuras para los cálculos paraconsistentes $C_{n}$, $n\ge 2$
Andrea Carina Murciano
Instituto de Ciencias Básicas - Área Matemática. Facultad de Filosofía, Humanidades y Artes. Universidad Nacional de San Juan, Argentina - Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.
En este trabajo definimos valuaciones que constituyen semánticas para los cálculos paraconsistentes $C_{n}$, $n \geq 2$. Estas lógicas fueron introducidas por Newton C. A. da Costa en [1] y, actualmente, se consideran casos particulares de las LFIs.
Nuestro estudio se centra en la correctitud, completitud y decidibilidad de esta semántica, la cual se basa en una interpretación para $C_{1}$ sobre modelos algebraicos-relacionales, denominados "$F_{1}$-estructuras" ([3], [4]). Además, presentamos ciertas extensiones booleanas que sirven como herramientas para realizar comparaciones con la semántica planteada en [2].
Trabajo en conjunto con: Carla N. Naccarato (Universidad Nacional de San Juan, Argentina), Gabriela Eisenberg (Universidad Nacional de San Juan, Argentina) y Verónica A. Quiroga (Universidad Nacional de San Juan, Argentina).
Referencias
[1] DA COSTA, N. C. A. Sistemas Formais Inconsistentes. UFPR, Curitiba, 1993.
[2] LOPARIC, A., AND ALVES, E. H. The semantics of the systems $C_n$ of da Costa. In Proceedings of the Third Brazilian Conference on Mathematical Logic (São Paulo, 1980), A. I. Arruda, N. C. A. da Costa, and A. M. Sette, Eds., Sociedade Brasileira de Lógica, pp. 119–129.
[3] QUIROGA, V. An alternative definition of $F$-structures for the logic $C_1$. Bulletin of the Section of Logic 42, 3/4 (2013), 119–134.
[4] QUIROGA, V. A. Estudio de un modelo algebraico-relacional para $C_1$ y $CILA$. PhD thesis, Universidad Nacional de San Luis, 2022.