Descripción
Este proyecto tiene como marco el estudio de diversas Lógicas (tanto la Clásica como las Lógicas No Clásicas) bajo un punto de vista general, conocido en la literatura como Lógica Matemática Abstracta. Esta área tiene como eje central la noción de Operador de Consecuencia, el cual es un Operador de Clausura definido sobre un Álgebra (usualmente, un Álgebra Absolutamente Libre o “Algebra de Fórmulas”). Estas nociones fueron inicialmente sugeridas por A. Tarski en la década de 1930 y, posteriormente, fueron desarrolladas por diversos lógicos entre 1950 y 1970 (R. Suszko, S. Bloom y R. Wojcicki, entre otros).
El grupo de investigación en Lógica estudia diversos aspectos matemáticos que pueden ser aplicados simultáneamente a varias lógicas, haciendo hincapié en la ejemplificación de los resultados investigados en el caso particular de ciertas (familias de) Lógicas No Clásicas.
En la actualidad los investigadores de este proyecto —el cual transita su segunda etapa—, trabajan en los siguientes temas:
Lógica Algebraica Abstracta y Teoría de Matrices.
Definición General de Estructuras Semánticas alternativas (Estructuras Discriminantes, Estructuras Twist y F-Estructuras) para diversas lógicas.
Generación de Operadores de Consecuencia definidos por otros operadores previos.
Combinación Abstracta de Lógicas.
Teoremas Generales de Completitud mediante adaptaciones del Teorema de Kalmár.
Investigadores
Director
Dr. Víctor Fernández
Temas de Investigación: Lógica Algebraica Abstracta; Matrices Lógicas y Estructuras Discriminantes en el contexto de la Lógica Abstracta.
Co-director
Mgter. Verónica Quiroga
Temas de Investigación: F-Estructuras y Estructuras Swap para Lógicas Paraconsistentes.
Integrantes
Fernando Ramos
Temas de Investigación: Estructuras Twist y Estructuras Discriminantes para Lógicas no clásicas.
Natalia Naccarato
Temas de Investigación: Combinaciones de Lógicas.
Becario
Lic. Cristian Brunetta
Temas de Investigación: Generación de Operadores en Lógica Abstracta
Adscripto Alumno
Luis Pezzini
Temas de Investigación: Generalización y adaptación del Teorema de Completitud de Kalmár a Lógicas No Clásicas.