Unification on subvarieties of pseudocomplemented distributive lattices
classification
🧮 math.RA
keywords
unificationdistributivelatticespseudocomplementedsubvarietiestypeclassifieddetermine
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.