Mostrar el registro sencillo del ítem
dc.contributor.author
Campercholi, Miguel Alejandro Carlos
dc.contributor.author
Castaño, Diego Nicolás
dc.contributor.author
Díaz Varela, José Patricio
dc.contributor.author
Gispert Brasó, Joan
dc.date.available
2023-09-11T16:21:47Z
dc.date.issued
2023-03
dc.identifier.citation
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
dc.identifier.issn
0022-4812
dc.identifier.uri
http://hdl.handle.net/11336/211132
dc.description.abstract
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Association for Symbolic Logic
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
EXPANSIONS
dc.subject
LATTICE-ORDERED GROUPS
dc.subject
EQUATIONALLY DEFINABLE FUNCTIONS
dc.subject
ALGEBRAIC FUNCTIONS
dc.subject
MV-ALGEBRAS
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Algebraic Expansions of Logics
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2023-08-24T14:30:10Z
dc.journal.volume
88
dc.journal.number
1
dc.journal.pagination
74-92
dc.journal.pais
Estados Unidos
dc.description.fil
Fil: Campercholi, Miguel Alejandro Carlos. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Centro de Investigación y Estudios de Matemática. Universidad Nacional de Córdoba. Centro de Investigación y Estudios de Matemática; Argentina
dc.description.fil
Fil: Castaño, Diego Nicolás. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina
dc.description.fil
Fil: Díaz Varela, José Patricio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina
dc.description.fil
Fil: Gispert Brasó, Joan. Universidad de Barcelona; España
dc.journal.title
Journal of Symbolic Logic
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1017/jsl.2022.47
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/algebraic-expansions-of-logics/ED03629579A2D9E11671913CED59E79E
Archivos asociados