Se propone el estudio de diversas estructuras algebraicas de interés en el estudio de algunos sistemas de lógicasno clásicas. Para ello se propone el uso de herramientas provenientes del álgebra universal y la teoría de categorías.También se propone el desarrollo de nuevas herramientas formales.

---

Director: Jose Luis Castiglioni (01/01/2025 - )
Investigador formado: Noemí Lubomirsky (01/01/2025 - ), Hernan Javier San Martin (01/01/2025 - )
Tesista-Becario: Diego Morcelle Gullo (01/01/2025 - ), Valeria Sigal (01/01/2025 - ), Fernando Blancá (01/01/2025 - )
Línea de investigación:
Tipo de investigación: Aplicada
Palabras clave: lógicas no clásicas, monoides ordenados, relevancia