## 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