Resumen: En esta charla vamos a revisar una de las definiciones más usuales de lógica, la utilizada en Lógica Algebraica Abstracta. Veremos que hay diferentes maneras para definir lógicas y que esto nos lleva naturalmente a intentar probar "teoremas de completitud", algunos de los cuales, en este contexto, no son otra cosa que "igualdades de lógicas". Observaremos también que hay diferentes tipos de teoremas de completitud en los que podemos estar interesados (fuertes, fuertes finitarios, débiles, estándar) y que, bajo ciertas condiciones, estos teoremas tienen sus correspondientes versiones algebraicas. Ejemplificaremos las definiciones y conceptos con la lógica clásica y con la lógica básica de Hájek o lógica de las t-normas continuas. Finalmente, veremos algo del trabajo actual que se está realizando sobre teoremas de completitud en extensiones monádicas de la lógica básica.
Bio Diego Castaño es Investigador Asistente de CONICET, bajo la dirección de José Patricio Díaz Varela. Es también Profesor Adjunto en el Departamento de Matemáticas de la Universidad Nacional del Sur. Su área de interés es la lógica algebraica, y se especializa en retículos residuados y álgebras monádicas.
Modo de conexión: La charla será transmitida por ZOOM. Inscribirse completando el siguiente formulario:
https://us02web.zoom.us/meeting/register/tZUlduitqT4iH9MNQne22LOta1Sawn3kA4E1
Luego de completar el formulario, recibirá un correo electrónico con las instrucciones para unirse al Seminario.
Si usted desea participar frecuentemente de los seminarios del IMAL por favor envíe un correo a seminarioimal@santafe-conicet.gov.ar para ser incluido en la lista que recibe el link a los seminarios. Debe indicar en el mail sus datos:
Nombre y Apellido:
DNI:
Filiación:
Dirección de correo electrónico: