2024/09/30 by Petr Cintula, Filip Jankovec, Cintula, Petr +3 · 1 citation
Computer Science · Mathematics · #FOS: Mathematics #Logic (math.LO) #cs.LO #math.LO
paper · pdf · doi:10.48550/arxiv.2409.20170
published as The Review of Symbolic Logic. Published online 2026:1-30
arxiv created 2026/04/16 · arxiv updated 2026/08/04
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 22ω 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.