De Morgan 与 Kleene 代数中的统一与投射性
逻辑
2014-01-16 v1
摘要
我们关于统一类型，对 De Morgan 和 Kleene 代数上的等式统一问题的可解实例给出了完全分类。关键工具是有限生成投射 De Morgan 和 Kleene 代数的组合刻画。
引用
@article{arxiv.1401.3576,
title = {Unification and Projectivity in De Morgan and Kleene Algebras},
author = {Simone Bova and Leonardo Cabrer},
journal= {arXiv preprint arXiv:1401.3576},
year = {2014}
}