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.
Extending /suppress Lukasiewicz logics with a modality: Algebraic approach to relational semantics
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.