Abstract
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 equivalent to the variety of abelian lattice ordered groups, that is, the categories of the algebras in BAL and of ℓ–groups are isomorphic (see [10], Ch.4, 4). We also prove the deduction theorem for Bal and we study different kinds of semantic consequence associated to Bal. Finally, we prove the co-NP-completeness of the tautology problem of Bal.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Anderson, M., Feil, T.: Lattice-Ordered Groups, an Introduction, D. Reidel, 1988
Beynon, W.M.: Duality theorems for finitely generated vector lattices, Proc. London Math. Soc. 3~(31), 114–128 (1975)
Beynon, W.M.: Applications of duality in the theory of finitely generated lattice order Abelian groups, Can. J. Math., XXIX(2), 243–254 (1977)
Bigard, A., Keimel, K., Wolfenstein, S.: Groupes et Anneaux Réticulés, Lecture Notes in Math. 608, Springer–Verlag, 1977
Blok, W. J., Pigozzi, D.: Algebraizable Logics, Memoirs of the A.M.S. 77 Nr. 396, 1989
Chang, C. C.: A Logic with Positive and Negative Truth Values, Acta Philosophica Fennica fasc. 16, 19–39 (1963)
Cignoli, R., D’Ottaviano, I. M. L. and Mundici, D.: Algebraic Foundations of Many–Valued Reasoning. Trends in Logic, Studia Logica Library, 7, Kluwer Academic Publishers, 2000
Darnel, M. R.: Theory of Lattice–Ordered Groups, Marcel Dekker, Inc., New York, 1995
Fuchs, L.: Partially Ordered Algebraic Systems, Addison–Wesley Pub. Co., Pergamon Press, 1963
Mac Lane, S.: Categories for the working mathematician, Springer-Verlag, 1971
Meyer, R. K., Slaney, J. K.: Abelian Logic (From A to Z), Paraconsistent Logic (G. Priest, R. Routley and J. Norman Eds.), Philosophia Verlag, Munich, 245–288 (1989)
Mundici, D.: Satisfiability in many valued sentential logic is NP-complete, Theoretical Computer Science 52, 145–153 (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
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.
29 November 2000
Rights and permissions
About this article
Cite this article
Galli, A., Lewin, R. & Sagastume, M. The logic of equilibrium and abelian lattice ordered groups. Arch. Math. Logic 43, 141–158 (2004). https://doi.org/10.1007/s00153-002-0160-0
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-002-0160-0