Agenda

Título: KE tableaux para lógicas intuicionistas modales Directores: Alejandro Solares Rojas y Ricardo O. Rodriguez Jurados: Edwin Pin y Lourdes del Carmen González Huesca. Resumen: El sistema KE es una variante de los tableaux analíticos para lógica clásica proposicional. El mismo ha sido extendido recientemente como cálculo para la [...]