The unification type of Lukasiewicz logic with a bounded number of variables

Marco Abbadini, Luca Spada

Building on the correspondence between finitely axiomatised theories in Łukasieiwcz logic and rational polyhedra, we prove that the unification type of the fragment of Łukasiewicz…