Artículo

Algebraic Expansions of Logics

Campercholi, Miguel Alejandro CarlosIcon ; Castaño, Diego NicolásIcon ; Díaz Varela, José PatricioIcon ; Gispert Brasó, Joan
Fecha de publicación: 03/2023
Editorial: Association for Symbolic Logic
Revista: Journal of Symbolic Logic
ISSN: 0022-4812
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form ∀∃!⋀p=q . For a logic L algebraized by a quasivariety 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 ℓ -groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics.
Palabras clave: EXPANSIONS , LATTICE-ORDERED GROUPS , EQUATIONALLY DEFINABLE FUNCTIONS , ALGEBRAIC FUNCTIONS , MV-ALGEBRAS
 
Archivos asociados
Tamaño: 371.3Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/restrictedAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/211132
DOI: http://dx.doi.org/10.1017/jsl.2022.47
URL: https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/al
Colecciones
Articulos(INMABB)
Articulos de INST.DE MATEMATICA BAHIA BLANCA (I)
Citación
Campercholi, Miguel Alejandro Carlos; Castaño, Diego Nicolás; Díaz Varela, José Patricio; Gispert Brasó, Joan; Algebraic Expansions of Logics; Association for Symbolic Logic; Journal of Symbolic Logic; 88; 1; 3-2023; 74-92
Compartir
Altmétricas