ABSTRACT
Propositions in Lukasiewicz’s infinite-valued calculus are answers in Ulam’s game with lies—just as two-valued propositions are answers in the game of Twenty Questions. Introduced in 1958 by Chang, MV algebras stand to the infinite-valued calculus as Boolean algebras stand to the classical propositional calculus. Aim of this paper is to provide the necessary background to readers interested in the relationship between MV algebras, lattice-ordered abelian groups, desingularizations of toric varieties, and AF C*-algebras.
