RESUMEN
En este proyecto se investigarán sistemas lógicos y sus estructuras algebraicas subyacentes, algunas de las cuales serán ordenadas. Nos abocaremos al estudio de los sistemas de prueba de dichos sistemas lógicos, en particular se procurará la obtención de cálculos de Gentzen con la muy deseable propiedad de eliminación de corte. Se tratará de generar ideas y potenciales aplicaciones de nuevas técnicas de la lógica algebraica a las lógicas en general y a las lógicas paraconsistentes en particular. Si bien el proyecto plantea la resolución de diversos problemas concretos, muchos de ellos están relacionados entre sí.