We prove that the unification type of Łukasiewicz logic with a finite number of variables is either infinitary or nullary. To achieve this result we use Ghilardi’s categorical characterisation of unification types in terms of projective objects, the categorical duality between finitely presented MV-algebras and rational polyhedra, and a homotopy-theoretic argument.
CITATION STYLE
Abbadini, M., Di Stefano, F., & Spada, L. (2020). Unification in Łukasiewicz Logic with a Finite Number of Variables. In Communications in Computer and Information Science (Vol. 1239 CCIS, pp. 622–633). Springer. https://doi.org/10.1007/978-3-030-50153-2_46
Mendeley helps you to discover research relevant for your work.