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
A talk on the content of this paper, delivered at international workshop Probability, Uncertainty and Rationality, Certosa di Pontignano, Siena 1-3 November 2009. A uniform version of Di Nola theorem