Unification on Subvarieties of Pseudocomplemented Distributive Lattices
Leonardo Cabrer · Notre Dame Journal of Formal Logic · 2016
In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.