This is a talk presenting dome results on geometrical dualities for MV-algebras. The article is dedicated to the memory of Leo Esakia. The talk was delivered at the Studia Logica conference Ordered Groups and Lattices in Algebraic Logic, Tbilisi, Georgia. $22^{d}$ September,…
This is the most updated version of a talk presenting the result contained here. The talk was given in plenary session at Topology, Algebra, and Category in Logic -TACL- V, Marseille, 28$^{th}$ July. 2011 The unification type of Łukasiewicz logic…
This is an account of some -still unpublished- natural continuation of the ideas contained here. It was delivered at the conference ManyVal10, in Varese, 3d May 2010. Omitting type theorems for Łukasiewicz Logic
This is a tentative to recast what is known about the prime spectrum of an MV-algebra, together with some new result that seems to point to a new direction of investigation. It was an invited seminar at the workshop Topological Methods…
A introductory talk on unification and projectivity. At the end some of the results contained here are announced. Projectivity and unification in many-valued logic