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.
Citation
Leonardo Cabrer. "Unification on Subvarieties of Pseudocomplemented Distributive Lattices." Notre Dame J. Formal Logic 57 (4) 477 - 502, 2016. https://doi.org/10.1215/00294527-3659307
Information