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, et al. Algebraic expansions of logics. Journal of Symbolic Logic. 2023. Vol. 88, num. 1, pags. 74-92. ISSN 0022-4812. [consulted: 21 of May of 2026]. Available at: https://hdl.handle.net/2445/225261

Exportar metadades

JSON - METS

Compartir registre