El presente proyecto prevé el estudio de diversas variedades de álgebras y sus lógicas asociadas aplicando herramientas de la teoría de categorías. Se continuarán estudiando variedades de retículos residuados con operaciones adicionales y sus lógicas correspondientes. Se enfocará esta cuestión desde la óptica de las lógicas algebrizables de Blok-Pigozzi y desde la de la teoría categorial de topos. Se estudiará el problema de la univocidad de los conectivos considerando distintas presentaciones de una misma lógica.

---

Director: Rodolfo Cristi Ertola Biraben (01/01/2011 - )
Co Director: Adriana Claudia Galli (01/01/2011 - )
Colaborador: Marta Susana Sagastume De Gallego (01/01/2011 - )
Participante: Jose Luis Castiglioni (01/01/2011 - ), Matias Menni (01/01/2011 - ), Hernan Javier San Martin (01/01/2011 - )
Línea de investigación:
Tipo de investigación: De declarado
Palabras clave: topos, conectivos univocos, operadores compatibl, operadores de consec