The unification type of Łukasiewicz logic is nullary
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 is nullary
Omitting type theorems for Ł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
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
A uniform version of Di Nola Theorem
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
