Unification in Łukasiewicz Logic with a Finite Number of Variables

摘要

By a we mean, as usual, a totally ordered set that is order-isomorphic to the natural numbers with their natural order. Recall also that a subset of a partially ordered set is if for every there is with . In particular, Theorem  implies that —a condition that is strictly stronger than nullarity.