Building on the correspondence between finitely axiomatised theories in Łukasiewicz logic and rational polyhedra, we prove that the unification type of the fragment of Łukasiewicz logic with n ≥ 2 variables is nullary. This solves a problem left open by V. Marra and L. Spada [Ann. Pure Appl. Logic 164 (2013), pp. 192-210]. Furthermore, we refine the study of unification with bounds on the number of variables. Our proposal distinguishes the number m of variables allowed in the problem and the number n in the solution. We prove that the unification type of Łukasiewicz logic for all m, n ≥ 2 is nullary.
THE UNIFICATION TYPE OF ŁUKASIEWICZ LOGIC WITH A BOUNDED NUMBER OF VARIABLES
Abbadini M.
;Spada L.
2025
Abstract
Building on the correspondence between finitely axiomatised theories in Łukasiewicz logic and rational polyhedra, we prove that the unification type of the fragment of Łukasiewicz logic with n ≥ 2 variables is nullary. This solves a problem left open by V. Marra and L. Spada [Ann. Pure Appl. Logic 164 (2013), pp. 192-210]. Furthermore, we refine the study of unification with bounds on the number of variables. Our proposal distinguishes the number m of variables allowed in the problem and the number n in the solution. We prove that the unification type of Łukasiewicz logic for all m, n ≥ 2 is nullary.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
