The logic of equilibrium and abelian lattice ordered groups

We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are interpreted as deviations From a state of equilibrium, so in this sense, the theorems of Bal are to be interpreted as balanced statements, for which reason there is only one distinguished truth value, namely the one that represents equilibrium. The main results are that the system Bal is algebraizable in the sense of [5] and its equivalent algebraic semantics BAL is definitionally Funding for the first and third author has been provided by FOMEC. Funding for the second author has been provided by FONDECYT 1020621, Facultad de Ciencias Exactas, U.N. de La Plata, and FOMEC. 1 

• Type: Journal
• Year: 2004
• Where: AML
• Authors: Adriana Galli, Renato A. Lewin, Marta Sagastume
• Keywords: AML 2004, Deductive System Bal, Distinguished Truth Value, Truth Value