Unification on subvarieties of pseudocomplemented distributive lattices
Leonardo Manuel Cabrer
TL;DR
This paper classifies subvarieties of pseudocomplemented distributive lattices based on their unification types, providing a comprehensive analysis of unification problems within these algebraic structures.
Contribution
It determines the unification type for each subvariety of pseudocomplemented distributive lattices, offering a detailed classification of unification problems.
Findings
Complete classification of unification types across subvarieties
Identification of subvarieties with specific unification properties
Framework for analyzing unification problems in lattice theory
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.