Superabelian logics
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910133426061312 |
|---|---|
| author | Cintula, Petr Jankovec, Filip Noguera, Carles |
| author_facet | Cintula, Petr Jankovec, Filip Noguera, Carles |
| contents | This paper presents a unified algebraic study of a family of logics related to Abelian logic (Ab), the logic of Abelian lattice-ordered groups. We treat Ab as the base system and refer to its expansions as superabelian logics. The paper focuses on two main families of expansions. First, we investigate the rich landscape of infinitary extensions of Ab, providing an axiomatization for the infinitary logic of real numbers and showing that there exist $2^{2^ω}$ distinct logics in this family. Second, we introduce pointed Abelian logic (pAb), the logic of pointed Abelian lattice-ordered groups, by adding a new constant to the language. This framework includes Łukasiewicz unbound logic. We provide axiomatizations for its finitary and infinitary versions as extensions of pAb and establish their precise relationship with standard Łukasiewicz logic via a formal translation. Finally, the methods developed for this analysis are generalized to axiomatize the logics of other prominent pointed groups. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_20170 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Superabelian logics Cintula, Petr Jankovec, Filip Noguera, Carles Logic This paper presents a unified algebraic study of a family of logics related to Abelian logic (Ab), the logic of Abelian lattice-ordered groups. We treat Ab as the base system and refer to its expansions as superabelian logics. The paper focuses on two main families of expansions. First, we investigate the rich landscape of infinitary extensions of Ab, providing an axiomatization for the infinitary logic of real numbers and showing that there exist $2^{2^ω}$ distinct logics in this family. Second, we introduce pointed Abelian logic (pAb), the logic of pointed Abelian lattice-ordered groups, by adding a new constant to the language. This framework includes Łukasiewicz unbound logic. We provide axiomatizations for its finitary and infinitary versions as extensions of pAb and establish their precise relationship with standard Łukasiewicz logic via a formal translation. Finally, the methods developed for this analysis are generalized to axiomatize the logics of other prominent pointed groups. |
| title | Superabelian logics |
| topic | Logic |
| url | https://arxiv.org/abs/2409.20170 |