1/1/2009 - 31/12/2010
El presente proyecto prevé el estudio de diversas variedades de álgebras y sus lógicas asociadas aplicando conceptos de la teoría de categorías a ellas. Se continuarán estudiando variedades de retículos residuazos con y sin involución y los conectivos adecuados para diversas lógicas (en particular el cálculo intuicionista) y sus correspondientes funciones compatibles, de acuerdo a los trabajos de Cignoli y Caicedo y del propio grupo sobre el tema. Se enfocará el problema desde la óptica de las lógicas algebrizables de Blok-Pigozzi y también como aplicación de la teoría categorial de topos. Se estudiarán también desde el punto de vista categorial diversas adjunciones o equivalencias categoriales entre las variedades de álgebras mencionadas.