Unification on subvarieties of pseudocomplemented distributive lattices
Rings and Algebras
2017-02-22 v1
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.
Keywords
Cite
@article{arxiv.1501.06142,
title = {Unification on subvarieties of pseudocomplemented distributive lattices},
author = {Leonardo Manuel Cabrer},
journal= {arXiv preprint arXiv:1501.06142},
year = {2017}
}
Comments
21 pages