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)
  • Victoria Arce Pistone (Departamento de  Matemática UNS)
  • Luis Pezzini (Universidad de San Juan)
  • Juan S. Slagter (Departamento de Matemática UNS)
  • Julio Estevez (Departamento de Matemática UNS)
  • Carlos Gallardo (Departamento de Matemática UNS)
  • Gustavo Pelaitay (CONICET, Universsidad Nacional de San Juan)
    • Scroll al inicio