The prime spectrum of MV-algebras
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 is Logic II. Tbilisi, 8th–10th June 2010.
The prime spectrum of MV-algebras
Projectivity and unification in many-valued logic
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
Small advances in the algebraic proof theory of substructural logics
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
The geometry of free MV$_n$ algebras
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
Fixed points in many-valued logic
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
