Jueves 16 de mayo - 18 horas
CICLO DE CHARLAS DE DIFUSIÓN
DEPARTAMENTO DE MATEMÁTICA
“Profesor Lic. Juan Ernesto Macluf”
Lógicas congruenciales con una disyunción
Mgs. Luciano González
Las lógicas congruenciales (también llamadas lógicas auto-extensionales) son aquellas para las cuales el análogo abstracto de la relación de interderibabilidad es una congruencia en cada álgebra. En esta presentación estudiamos las lógicas congruenciales que poseen una disyunción y para ellas presentamos una semántica algebraica definida a partir del orden dado por semi-retículos superiores de una clase adecuada de álgebras. También estudiamos la variedad de los semi-retículos superiores y sus propiedades básicas.
Jueves 16 de mayo – 18 horas – Aula 12