Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Bova, S., & Cabrer, L. (2013). Unification and Projectivity in De Morgan and Kleene Algebras. Order, 31(2), 159–187. https://doi.org/10.1007/s11083-013-9295-3
E192-03 - Forschungsbereich Knowledge Based Systems
-
Journal:
Order
-
ISSN:
0167-8094
-
Date (published):
2013
-
Number of Pages:
29
-
Peer reviewed:
Yes
-
Keywords:
Algebra and Number Theory; Computational Theory and Mathematics; Geometry and Topology; Distributive lattices; De Morgan and Kleene algebras; Unification; Projectivity
-
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.