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 marginal note on algebraic proof theory delivered at the conference Topology, Algebra, and Category in Logic -TACL- IV. Amsterdam, 10 July 2009. Small advances in the algebraic proof theory of substructural logics
A seminar on the results contained here delivered at the Department of Communication Science of the University of Milano, 27 October 2008. The geometry of MV$_n$ algebras
A -quite lengthy- presentation on fixed points in many-valued logic. Plenary lecture at the conference Logic, Algebra and Fundamentals of Computer Sciences, Bucharest, May 16, 2008. Fixed points in many-valued logic