Novedades

Ciclo de charlas: "Lógicas congruenciales con una disyunción"

 
Picture of Paula Dieser
Ciclo de charlas: "Lógicas congruenciales con una disyunción"
by Paula Dieser - Monday, 13 May 2013, 8:21 AM
 

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