This is the transcript of a featured talk given on the 15th of September 2011 at the XIX Congeresso dell’Unione Matematica Italiana held in Bologna, Italy. It is based on a joint work with Vincenzo Marra of the University of…
We prove that the unification type of Lukasiewicz infinite-valued propositional logic and of its equivalent algebraic semantics, the variety of MV-algebras,is nullary. The proof rests upon Ghilardi’s algebraic characterisation of unification types in terms of projective objects, recent progress by…
We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that…
We prove that the $n$-generated free MV-algebra is isomorphic to a quotient of the disjoint union of all the $n$-generated free MV$^{(n)}$-algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MV${}^{(n)}$-algebras…
The Los-Tarski Theorem and the Chang-Los-Susko Theorem, two classical results in Model Theory, are extended to the infinite-valued Lukasiewicz logic. The latter is used to settle a characterisation of the class of generic structures introduced in the framework of model…