Miniatura

Fitxers

251264.pdf (371.37 KB)

Tipus de document

Article

Versió

Versió publicada

Data de publicació

2023-03-01

Tots els drets reservats

Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/225261

ALGEBRAIC EXPANSIONS OF LOGICS

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

https://doi.org/10.1017/jsl.2022.47

Resum

An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists!\wedge p=q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AEsubclasses of $\mathcal{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 $\mathbf{X}$. Caicedo. We proceed to characterize all the AE-subclasses of abelian $\ell$-groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics.

Matèries

Lògica algebraica, Estructures algebraiques ordenades, Teoria dels reticles

Matèries (anglès)

Algebraic logic, Ordered algebraic structures, Lattice theory

Citació

Col·leccions

Articles publicats en revistes (Matemàtiques i Informàtica)

Citació

CAMPERCHOLI, Miguel, CASTAÑO, Diego nicolás, DÍAZ VARELA, José patricio, GISPERT BRASÓ, Joan. ALGEBRAIC EXPANSIONS OF LOGICS. _Journal of Symbolic Logic_. 2023. Vol. 88, núm. 1. [consulta: 14 de gener de 2026]. ISSN: 0022-4812. [Disponible a: https://hdl.handle.net/2445/225261]

Exportar metadades

JSON - METS

Compartir registre