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