The logic of equilibrium and abelian lattice ordered groups
From MaRDI portal
Publication:1879318
DOI10.1007/s00153-002-0160-0zbMath1060.03086MaRDI QIDQ1879318
Adriana Galli, Renato A. Lewin, Marta S. Sagastume
Publication date: 22 September 2004
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10533/175524
03B60: Other nonclassical logic
03G25: Other algebras related to logic
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
06D35: MV-algebras
06F20: Ordered abelian groups, Riesz groups, ordered linear spaces
Related Items
Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic, ALGEBRAIC EXPANSIONS OF LOGICS, Algebraic geometry for \(\ell \)-groups, From games to truth functions: a generalization of Giles's game, On the algebraizability of the implicational fragment of abelian logic, Cubic logic, Ulam games, and paraconsistency, Conical logic and l-groups logic