Unification and Projectivity in De Morgan and Kleene Algebras
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2014
- DOI:
- arXiv:
- arXiv:1401.3576
- Bibcode:
- 2014arXiv1401.3576B
- Keywords:
-
- Mathematics - Logic
- E-Print:
- doi:10.1007/s11083-013-9295-3