Algebraic Expansions of Logics

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionUniversidad de Barcelona
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionEspaña
dc.conicet.produccionid11088472
dc.contributor.authorCampercholi, Miguel Alejandro Carlos
dc.contributor.authorCastaño, Diego Nicolás
dc.contributor.authorDíaz Varela, José Patricio
dc.contributor.authorGispert Brasó, Joan
dc.date.accessioned2023-09-11T16:21:47Z
dc.date.available2023-09-11T16:21:47Z
dc.date.issued2023-03
dc.date.updated2023-08-24T14:30:10Z
dc.description.abstractAn 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.es
dc.description.filFil: 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.filFil: 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.filFil: 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.filFil: Gispert Brasó, Joan. Universidad de Barcelona; España
dc.formatapplication/pdfes
dc.identifier.citationCampercholi, 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-92es
dc.identifier.institucionalCONICET
dc.identifier.issn0022-4812es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/211132
dc.journal.number1es
dc.journal.pagination74-92es
dc.journal.paisEstados Unidoses
dc.journal.titleJournal of Symbolic Logices
dc.journal.volume88es
dc.language.isoenges
dc.publisherAssociation for Symbolic Logices
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1017/jsl.2022.47
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/algebraic-expansions-of-logics/ED03629579A2D9E11671913CED59E79E
dc.rightsinfo:eu-repo/semantics/restrictedAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectEXPANSIONSes
dc.subjectLATTICE-ORDERED GROUPSes
dc.subjectEQUATIONALLY DEFINABLE FUNCTIONSes
dc.subjectALGEBRAIC FUNCTIONSes
dc.subjectMV-ALGEBRASes
dc.subject.classificationMatemática Puraes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleAlgebraic Expansions of Logicses
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.6d1a6509-77ef-41a5-bc3b-2df7d1ef30a3_B.pdf
Tamaño:
371.37 KB
Formato:
Adobe Portable Document Format
Solicitar

Colecciones

Articulos(INMABB)
Volver a la Vista simple