An excursion through the algebras of Lukasiewicz infinite-valued logic

J. Łukasiewicz introduced his systems of many-valued logics in the early twenties of the last Century with a strong philosophical motivation. MV-algebras were introduced by C. C. Chang in 1958 to give an algebraic proof of the completeness of certain axioms for Łukasiewicz infinite-valued logic. The aim of this talk is to show some connections of MV-algebras with lattice-ordered abelian groups, the Murray von Neumann order of projections in operator algebras, Ulam games with lies, toric varieties.