Unification and Projectivity in De Morgan and Kleene Algebras
classification
🧮 math.LO
keywords
algebraskleenemorganunificationcharacterizationclassificationcombinatorialcomplete
read the original abstract
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
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.