RESUMEN
En este proyecto se investigarán sistemas lógicos y sus estructuras
algebraicas subyacentes, algunas de las cuales serán ordenadas.
También se abordarán temas relacionados con la lógica paraconsistente
y su conexión con diferentes tópicos de la lógica contemporánea, así
como algunos aspectos de la combinación entre lógicas. Se tratará de
generar ideas y potenciales aplicaciones de nuevas técnicas de la
lógica algebraica a las lógicas paraconsistentes y otras lógicas no
clásicas. Si bien el proyecto plantea la resolución de diversos
problemas concretos, muchos de ellos están relacionados entre si.