INVESTIGADORES
CAMPERCHOLI Miguel Alejandro Carlos
artículos
Título:
Algebraic expansions of logics
Autor/es:
CAMPERCHOLI, MIGUEL; CASTAÑO, DIEGO; DIAZ VARELA, PATRCIO; GISPER, JOAN
Revista:
JOURNAL OF SYMBOLIC LOGIC, THE
Editorial:
ASSOC SYMBOLIC LOGIC, INC
Referencias:
Lugar: NY; Año: 2022
ISSN:
0022-4812
Resumen:
An algebraically expandable (AE) class is a class of algebraic structuresaxiomatizable by sentences of the form AE!&p=q. For a logic L algebraized by a quasi-variety Q we show that the AE-subclasses of Q correspond to certain natural expansions of L, which we call algebraic expansions. These turn out to be a special case of the expansions by implicit connectives studied by X. Caicedo. We proceed to characterize all the AE-subclasses of Abelian l-groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics.
