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
Tags: Covering space, Fundamental group, Lifts, Łukasiewicz logic, Projective MV-algebra, rational polyhedra, Retractions, Unification, Universal cover
