INMABB 05456
INSTITUTO DE MATEMATICA BAHIA BLANCA
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Bl-álgebras monádicas
Autor/es:
DÍAZ VARELA JOSÉ PATRICIO; CASTAÑO DIEGO; CIMADAMORE CECILIA; RUEDA LAURA
Lugar:
Santa Fe
Reunión:
Conferencia; Reunión anual de la Unión Matemática Argentina; 2015
Institución organizadora:
Unión Matemática Argentina
Resumen:
La Lógica Básica y su semántica algebraica (las BL-álgebras) fueron intro-ducidas por Hájek en [4]. En [5], dicho autor estudia la Lógica ModalS5(BL) como una extensión de la Lógica Básica, enriqueciendo al lenguaje con dos operadores modales y demuestra que es equivalente al fragmento monádico de lalógica básica de primer orden, es decir, la lógica básica de primer orden con unasola variable y predicados unarios.En esta charla mostraremos una definición para los modelos algebraicos de esta lógica modal. Llamaremos BL-álgebras monádicas (MBL-álgebras) a estacontraparte algebraica y veremos que constituye la semántica algebraica corres-pondiente. Mostraremos algunas subvariedades de interes y discutiremos futurasinvestigaciones
