Lógica matemática

Temas de investigación en curso

  • 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

Participantes

  • Martín Figallo
  • Germán Tadeo Gomez Pereira (Departamento de Matemática, UNS)
  • Victoria Arce Pistone (Departamentode Matemática, UNS)
  • Jonathan Sarmiento (Departamento de Matemática, UNS)
  • Marcelo Coniglio (Universidade Estadual de Campinas)
  • Gustavo Pelaitay (Universidad Nacional de San Juan, CONICET)