Directora: López Martinolich Fernanda
Co-directora: Vannicola María del Carmen
Integrantes docentes: Castaño Valeria, Montangie Daniela, Muñoz Santis Daniela.
Integrantes estudiantes: Aiello María, Álvarez Matías.
La variedad BA de las álgebras de Boole con un automorfismo distinguido está generada por sus cuerpos finitos y se han caracterizado las subvariedades locales finitas. Se intentará generalizar los resultados existentes para la variedad de las álgebras de Post con un automorfismo distinguido.
La variedad R2 de los anillos conmutativos de característica dos, con una operación adicional raíz cuadrada está generada por los cuerpos finitos de Galois GF(2K) y es equivalente a la variedad de las álgebras de Boole k-cíclicas. Se pretende levantar esta equivalencia para cualquier primo p.
Se buscará clasificar el reticulado de subvariedades en esta variedad.
Se continúa con el estudio de los fragmentos implicativos de la lógica intuicionista modal. Nos interesan los fragmentos que generalizan las lógicas modales clásicas tipo S4 y S5. Se busca una representación bitopológica de las álgebras de Hilbert y álgebras de Hilbert con supremos y compararlas con las representaciones desarrolladas en el proyecto anterior. De esta manera nos proponemos utilizar esta dualidad para estudiar semánticamente algunos fragmentos implicativos de las lógicas modales intuicionistas. En particular investigar los fragmentos que extienden a las lógicas modales clásicas S4 y S5.
Se buscará clasificar subvariedades de las álgebras de De Morgan Heyting y de las álgebras pseudocomplementadas de Kleene. Se estudiará la semántica algebraica para la lógica de Gödelmonádica con una negación involutiva independiente.
