Unification on subvarieties of pseudocomplemented distributive lattices
arXiv:1501.06142 · doi:10.1215/00294527-3659307
Abstract
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.
21 pages