EL PRESENTE PLAN CONTEMPLA CINCO LÍNEAS DE TRABAJO A SER DESARROLLADAS EN PARALELO. SI BIEN SE TRATA DE LíNEAS INDEPENDIENTES, TODAS TIENEN COMO NEXO EL USO DE IDEAS Y TÉCNICAS DE TIPO ALGEBRAICO-GEOMÉTRICO-TOPOLÓGICO A PROBLEMAS INSPIRADOS EN LA LÓGICA PROPOSICIONAL, O DE INTERÉS PARA LA MISMA. ESTAS SON: I. OPERADORES IMPLÍCITOS EN VARIEDADES. II. FIBRING HOMOTÓPICO Y EL PROBLEMA DE LA UNICIDAD DE LOS CONECTIVOS LÓGICOS. III. REPRESENTACIONES POR HACES DE CLASES DE RETÍCULOS RESIDUADOS CONMUTATIVOS. IV. TÉCNICAS GEOMÉTRICAS Y COMBINATORIAS EN EL ESTUDIO DE CATEGORÍAS DE BL-ÁLGEBRAS. V. DUALIZACIÓN DEL CONDICIONAL EN LA LÓGICA INTUICIONISTA.

---

Director: Rodolfo Cristi Ertola Biraben (01/01/2013 - )
Co Director: Adriana Claudia Galli (01/01/2013 - )
Investigador formado: Jose Luis Castiglioni (01/01/2013 - ), Hernan Javier San Martin (01/01/2013 - )
Tesista-Becario: William Javier Zuluaga Botero (01/01/2013 - ), Noemí Lubomirsky (01/01/2015 - )
Línea de investigación: ALGEBRA DE LA LÓGICA Y TEORÍA DE CATEGORÍAS
Tipo de investigación: Aplicada
Palabras clave: OPERADORES IMPLÍCITOS, FIBRING HOMOTÓPICO, UNICIDAD DE LOS CONECTIVOS LÓGICOS, REPRESENTACIONES POR HACES, RETÍCULOS RESIDUADOS CONMUTATIVOS, CATEGORÍAS DE BL-ÁLGEBRAS