CONICET | Buscador de Institutos y Recursos Humanos

Una clase algebraicamente expandible (AE, por su sigla en inglés) es una clase de estructurasalgebraicas axiomatizable por sentencias de la forma (para todo) (existe un único) (conjunción) p = q). Estas clases de álgebras han sido ampliamente estudiadas en los últimos años y resultan de particular interés en lógica puesto que cada una de ellas posee asociada una expansión natural que resulta una cuasivariedad. Buscamos entender mejor la conexión entre estas clases de álgebras y expansiones de lógicas.Para una lógica L algebrizada por una cuasivariedad Q mostraremos que las subclases AE deQ se corresponden con ciertas expansiones naturales de L, que llamamos expansiones algebraicas.Si bien la definición de estas expansiones es natural en sí misma, veremos que son además uncaso especial de las expansiones por conectivos implícitos estudiadas por X. Caicedo.Veremos varios ejemplos de casos en los que el conocimiento de las clases AE nos permitecaracterizar todas las expansiones algebraicas de una lógica.