pith. sign in

arxiv: 2409.20170 · v5 · submitted 2024-09-30 · 🧮 math.LO

Superabelian logics

Petr Cintula , Filip Jankovec , Carles Noguera This is my paper

Pith reviewed 2026-05-23 20:34 UTC · model grok-4.3

classification 🧮 math.LO
keywords Abelian logicsuperabelian logicsinfinitary logicpointed Abelian logicŁukasiewicz logiclattice-ordered groupsalgebraic semanticsaxiomatization
0
0 comments X

The pith

Abelian logic has 2^{2^ω} distinct infinitary extensions, one axiomatized as the logic of the reals, and its pointed expansion translates to Łukasiewicz logic.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper treats Abelian logic as the base system whose models are Abelian lattice-ordered groups and studies its expansions called superabelian logics. It gives an axiomatization for the infinitary logic whose models are the reals and proves that the full family of infinitary extensions has cardinality 2^{2^ω}. It then adds a constant to obtain pointed Abelian logic, supplies axiomatizations for its finitary and infinitary versions, and exhibits a formal translation that relates them exactly to standard Łukasiewicz logic. The same techniques are shown to work for other pointed groups. A reader would care because the results give a uniform algebraic handle on a large class of logics that had previously been treated separately.

Core claim

Superabelian logics are the expansions of Abelian logic Ab. The infinitary extensions of Ab include 2^{2^ω} distinct systems; one of them is the logic of the reals and it admits an explicit axiomatization. Adding a constant yields pointed Abelian logic pAb, whose finitary and infinitary versions are axiomatized as extensions of pAb and stand in a precise translation relation to standard Łukasiewicz logic. The methods extend to axiomatize the logics of other pointed groups.

What carries the argument

Algebraic semantics given by Abelian lattice-ordered groups (and their pointed expansions), which supply the models for uniform axiomatization and the translation to Łukasiewicz logic.

If this is right

  • The logic of the reals receives an explicit axiomatization inside the infinitary family.
  • The space of distinct infinitary extensions of Ab is shown to be of size 2^{2^ω}.
  • Pointed Abelian logic supplies a single framework that contains Łukasiewicz unbound logic.
  • Axiomatizations for other pointed groups follow from the same construction.
  • Finitary and infinitary versions of pAb are both covered by the translation to Łukasiewicz logic.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The cardinality result implies that most extensions of Ab are not recursively axiomatizable.
  • The translation may let properties proved for one system transfer directly to the other.
  • Similar pointed expansions could be studied for other varieties of lattice-ordered groups.

Load-bearing premise

The algebraic semantics based on Abelian lattice-ordered groups and their pointed expansions faithfully represent the intended logical systems.

What would settle it

A concrete infinitary extension of Ab that cannot be captured by the given axiomatization scheme, or a pointed expansion whose translation to Łukasiewicz logic fails to preserve validity of some formula.

read the original abstract

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^\omega}$ 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 {\L}ukasiewicz unbound logic. We provide axiomatizations for its finitary and infinitary versions as extensions of pAb and establish their precise relationship with standard {\L}ukasiewicz logic via a formal translation. Finally, the methods developed for this analysis are generalized to axiomatize the logics of other prominent pointed groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper presents a unified algebraic study of superabelian logics as expansions of Abelian logic (Ab), the logic of Abelian lattice-ordered groups. It axiomatizes infinitary extensions of Ab (including the infinitary logic of real numbers) and proves there exist 2^{2^ω} distinct logics in this family. It introduces pointed Abelian logic (pAb) for pointed Abelian l-groups (encompassing Łukasiewicz unbound logic), supplies axiomatizations for its finitary and infinitary versions as extensions of pAb, establishes a formal translation relating pAb to standard Łukasiewicz logic, and generalizes the methods to axiomatize logics of other pointed groups.

Significance. If the algebraic completeness results and translations hold, the work strengthens the algebraic semantics approach to substructural and many-valued logics by delivering concrete axiomatizations, a sharp cardinality theorem on infinitary extensions, and a precise bridge between pAb and Łukasiewicz logic. The 2^{2^ω} result and the generalization to other pointed groups are noteworthy contributions that could support further classification and comparison of logics in this family.

minor comments (2)
  1. The abstract and introduction would benefit from a brief explicit statement of the signature and the precise form of the new constant added in pAb, to make the translation result immediately accessible.
  2. Section headings and theorem numbering should be checked for consistency when the infinitary and finitary cases are treated in parallel; cross-references to the translation theorem would help readers track the relationship to Łukasiewicz logic.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their supportive summary and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on standard algebraic semantics for Abelian l-groups and their pointed expansions to obtain axiomatizations, the 2^{2^ω} cardinality bound on infinitary extensions, and the explicit translation relating pAb to Łukasiewicz logic. These steps are self-contained mathematical constructions (completeness theorems, extension counting via algebraic varieties, and definable translations) that do not reduce to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The algebraic-semantics assumption is the field's usual one and is not shown to be internally circular.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the work appears to rely on standard background in algebraic logic without introducing new postulated objects.

pith-pipeline@v0.9.0 · 5700 in / 1156 out tokens · 27127 ms · 2026-05-23T20:34:57.576195+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Satisfiability in {\L}ukasiewicz logic and its unbounded relative

    math.LO 2025-12 unverdicted novelty 7.0

    The existential theory of the real additive ℓ-group with -1 is NP-complete, providing a complexity bound for satisfiability in unbounded Łukasiewicz logic via reduction to the MV-algebra.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 1 Pith paper

  1. [1]

    Universal algebra, volume 301 of Pure and Applied Math- ematics (Boca Raton)

    Clifford Bergman. Universal algebra, volume 301 of Pure and Applied Math- ematics (Boca Raton) . CRC Press, Boca Raton, FL, 2012. Fundamentals and selected topics

    work page 2012

  2. [2]

    Lattice Theory , volume 25 of American Mathematical Society Colloquium Publications

    Garrett Birkhoff. Lattice Theory , volume 25 of American Mathematical Society Colloquium Publications . American Mathematical Society, Provi- dence, third edition, 1967

    work page 1967

  3. [3]

    Blok and Don L

    Willem J. Blok and Don L. Pigozzi. Algebraizable Logics, volume 396 of Memoirs of the American Mathematical Society . American Mathematical Society, Providence, 1989

    work page 1989

  4. [4]

    Sankappanavar

    Stanley Burris and H.P. Sankappanavar. A Course in Universal Algebra , volume 78 of Graduate Texts in Mathematics . Springer, New York, 1981

    work page 1981

  5. [5]

    On the algebraizability of the implica- tional fragment of Abelian logic

    Sam Butchart and Susan Rogerson. On the algebraizability of the implica- tional fragment of Abelian logic. Studia Logica, 102(5):981–1001, 2014. 24

    work page 2014

  6. [6]

    Comparative logics and Abelian ℓ-groups

    Ettore Casari. Comparative logics and Abelian ℓ-groups. In R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo, editors, Logic Colloquium ’88 , volume 127 of Studies in Logic and the Foundations of Mathematics , pages 161–190. North-Holland, Amsterdam, 1989

    work page 1989

  7. [7]

    Algebraic analysis of many-valued logics

    Chen Chung Chang. Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society , 88(2):467–490, 1958

    work page 1958

  8. [8]

    D’Ottaviano, and Daniele Mundici

    Roberto Cignoli, Itala M.L. D’Ottaviano, and Daniele Mundici. Alge- braic Foundations of Many-Valued Reasoning , volume 7 of Trends in Logic. Kluwer, Dordrecht, 1999

    work page 1999

  9. [9]

    Weakly implicative (fuzzy) logics I: Basic properties

    Petr Cintula. Weakly implicative (fuzzy) logics I: Basic properties. Archive for Mathematical Logic , 45(6):673–704, 2006

    work page 2006

  10. [10]

    Petr Cintula, Berta Grimau, Carles Noguera, and Nicholas J. J. S mith. These degrees go to eleven: fuzzy logics and gradable predicates. Synthese, 200(6):Paper No. 445, 38, 2022

    work page 2022

  11. [11]

    Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics , volume 57 of Trends in Logic

    Petr Cintula and Carles Noguera. Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics , volume 57 of Trends in Logic. Springer, 2021

    work page 2021

  12. [12]

    Abstract Algebraic Logic

    Josep Maria Font. Abstract Algebraic Logic. An Introductory Textbook , volume 60 of Studies in Logic, Mathematical Logic and Foundations. College Publications, London, 2016

    work page 2016

  13. [13]

    Josep Maria Font, Ramon Jansana, and Don L. Pigozzi. A survey of ab- stract algebraic logic. Studia Logica, 74(1–2):13–97, 2003

    work page 2003

  14. [14]

    Pergamon Press, Ox- ford, 1963

    L´ aszl´ o Fuchs.Partially Ordered Algebraic Systems . Pergamon Press, Ox- ford, 1963

    work page 1963

  15. [15]

    Gabbay and George Metcalfe

    Dov M. Gabbay and George Metcalfe. Fuzzy logics based on [0 , 1)- continuous uninorms. Archive for Mathematical Logic, 46(6):425–469, 2007

    work page 2007

  16. [16]

    Residuated Lattices: An Algebraic Glimpse at Substructura l Logics , vol- ume 151 of Studies in Logic and the Foundations of Mathematics

    Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, and Hiroakira O no. Residuated Lattices: An Algebraic Glimpse at Substructura l Logics , vol- ume 151 of Studies in Logic and the Foundations of Mathematics . Elsevier, Amsterdam, 2007

    work page 2007

  17. [17]

    Gorbunov

    Viktor A. Gorbunov. Algebraic Theory of Quasivarieties . Siberian School of Algebra and Logic. Consultants Bureau, New York, 1998

    work page 1998

  18. [18]

    Extending /suppress Lukasiewicz logics with a modality: Algebraic approach to relational semantics

    Georges Hansoul and Bruno Teheux. Extending /suppress Lukasiewicz logics with a modality: Algebraic approach to relational semantics. Studia Logica , 101(3):505–545, 2013

    work page 2013

  19. [19]

    Axiomatization of the infinite-valued predicat e calculus

    Louise Schmir Hay. Axiomatization of the infinite-valued predicat e calculus. Journal of Symbolic Logic , 28(1):77–86, 1963. 25

    work page 1963

  20. [20]

    Die Axiome der Quantit¨ at und die Lehre vom Mass

    Otto H¨ older. Die Axiome der Quantit¨ at und die Lehre vom Mass. Berichte uber die Verhandlungen der Koeniglich Sachsischen Gesells chaft der Wis- senschaften zu Leipzig, Mathematisch-Physikaliche Klass e, 53:1–64, 1901

    work page 1901

  21. [21]

    Generalized quasivarieties of abelian ℓ-groups

    Filip Jankovec. Generalized quasivarieties of abelian ℓ-groups. Upcoming article

    work page

  22. [22]

    N. G. Khisamiev. Universalnaya teoriya strukturno uporyadoc hennykh abelevykh grupp (Universal theory of lattice-ordered Abelian gro ups). Al- gebra i Logika , 5(3):71–76, 1966

    work page 1966

  23. [23]

    Super-/suppress Lukasiewicz propositional logics.Nagoya Mathemat- ical Journal , 84:119–133, 1981

    Yuichi Komori. Super-/suppress Lukasiewicz propositional logics.Nagoya Mathemat- ical Journal , 84:119–133, 1981

    work page 1981

  24. [24]

    /suppress Lukasiewicz logic and MV-algebras

    Ioana Leu¸ stean and Antonio Di Nola. /suppress Lukasiewicz logic and MV-algebras. In Petr Cintula, Petr H´ ajek, and Carles Noguera, editors, Handbook of Mathematical Fuzzy Logic - Volume 2 , volume 38 of Studies in Logic, Math- ematical Logic and Foundations , pages 469–583. College Publications, Lon- don, 2011

    work page 2011

  25. [25]

    North-Holland, Amsterdam, 1971

    Anatoli ˇ ı Ivanoviˇ c Mal’ cev.The Metamathematics of Algebraic Systems, Collected Papers: 1936–1967 , volume 66 of Studies in Logic and the Foun- dations of Mathematics . North-Holland, Amsterdam, 1971

    work page 1936

  26. [26]

    Meyer and John K

    Robert K. Meyer and John K. Slaney. Abelian logic from A to Z. In Graham Priest, Richard Routley, and Jean Norman, editors, Paraconsistent Logic: Essays on the Inconsistent , Philosophia Analytica, pages 245–288. Philosophia Verlag, Munich, 1989

    work page 1989

  27. [27]

    The logic of Ulam’s game with lies

    Daniele Mundici. The logic of Ulam’s game with lies. In Cristina Bicchieri and M.L. Dalla Chiara, editors, Knowledge, Belief, and Strategic Interac- tion (Castiglioncello, 1989) , Cambridge Studies in Probability, Induction, and Decision Theory, pages 275–284. Cambridge University Press, Cam- bridge, 1992

    work page 1989

  28. [28]

    Abelian log ic and the logics of pointed lattice-ordered varieties

    Francesco Paoli, Matthew Spinks, and Robert Veroff. Abelian log ic and the logics of pointed lattice-ordered varieties. Logica Universalis, 2(2):209–233, 2008

    work page 2008

  29. [29]

    Varieties generated by unital Abelian ℓ-groups

    William Young. Varieties generated by unital Abelian ℓ-groups. J. Pure Appl. Algebra, 219(1):161–169, 2015

    work page 2015

  30. [30]

    Untersuchungen ¨ uber den Aus- sagenkalk¨ ul.Comptes Rendus des S´ eances de la Soci´ et´ e des Sciences et des Lettres de Varsovie, Classe III , 23:30–50, 1930

    Jan /suppress Lukasiewicz and Alfred Tarski. Untersuchungen ¨ uber den Aus- sagenkalk¨ ul.Comptes Rendus des S´ eances de la Soci´ et´ e des Sciences et des Lettres de Varsovie, Classe III , 23:30–50, 1930. 26

    work page 1930