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.
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
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.