Viernes 6 de noviembre, 15:30 hs
Diego Castaño
"¿Qué es un teorema de completitud?"
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/tZUlduitqT4iH9MNQne22LOta1Sawn3k... |
https://us02web.zoom.us/meeting/register/tZUlduitqT4iH9MNQne22LOta1Sawn3k... ]
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(a)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:
_______________________________________
Seminario del IMAL
Instituto de Matemática Aplicada del Litoral - UNL - CONICET
http://www.imal.santafe-conicet.gov.ar/index.php?ver=seminario
Ruta Nac. No. 168, Paraje El Pozo - 3000 Santa Fe, Argentina
Teléfono:(342) 4511370 - ext 4001/4003
E-mail: seminarioimal(a)santafe-conicet.gov.ar