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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have