Superabelian logics are introduced as expansions of Abelian logic, with axiomatizations for infinitary versions including the logic of real numbers, a pointed variant pAb related to Łukasiewicz logic via translation, and generalizations to other pointed groups.
Lattice Theory , volume 25 of American Mathematical Society Colloquium Publications
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Superabelian logics
Superabelian logics are introduced as expansions of Abelian logic, with axiomatizations for infinitary versions including the logic of real numbers, a pointed variant pAb related to Łukasiewicz logic via translation, and generalizations to other pointed groups.