Teoría de la demostración de lógicas no clásicas
- Lógicas paraconsistences, sus semánticas algebraicas y sus versiones de primer orden
- Teoría de prueba, teoremas de eliminación de corte y de normalización
Investigadores
Martín Figallo
Colaboradores externos:
Marcelo Coniglio (Universidade Estadual de Campinas)
Gustavo Pelaitay (UNSJ, CONICET)
Victoria Arce Pistone (Dep Mat UNS)