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.
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics , volume 57 of Trends in Logic
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.