RESUMEN
Usando un nuevo método, calculamos la estructura de las álgebras MMI3
(álgebras implicativas monádicas trivalentes) libres con un conjunto
finito de generadores, en forma más sencilla que la detallada
previamente en la literatura. El paso siguiente será extender este
método a otras variedades de álgebras y generalizar el concepto de
extensiones monádicas libres usado en este y otros trabajos.
También se estudiarán álgebras semi-Heyting, sus lógicas asociadas,
traducciones entre las mismas, semántica de Kripke y las formas en que
términos pueden definir una implicación semi-Heyting en un álgebra de
Heyting dada.