RESUMEN
Este grupo de investigación viene estudiando desde hace algunos
años diversas variedades algebraicas relacionadas con la
lógica, y ultimamente, diversas cuasivariedades y otras clases de
algebras que pueden ser definidas por sentencias de primer orden.
Siguiendo con las lineas de investigación que se vienen
desarrollando, el grupo se dispone a abordar mediante este proyecto,
los siguientes problemas:
. Propiedades generales del reticulado de subvariedades de diversas
variedades, como subvariedades splitting, variedades finitamente
aproximadas, variedades axiomatizables,
. Estudio del reticulado de las subcuasivariedades de las álgebras
monádicas, de las álgegras de Lukasiewics monádicas, de las álgebras
de Heyting simétricas lineales y de las álgebras de Boole cíclicas.
. Relación de las álgebras de Boole cíclicas con los cuerpos finitos,
y relación entre las álgebras de boole cíclicas con las MV-álgebras.
. Técnicas de traducción intuicionista y clases algebraicas definidas
por sentencias de primer orden.