具有反定义域和值域的函数代数
逻辑
2014-10-16 v1 计算机科学中的逻辑
摘要
我们给出了在复合、定义域、反定义域、值域和交集运算下的一元偏函数代数的完整有限准方程公理化。这完成了对这些运算组合下的一元偏函数代数进行分类的广泛计划。我们研究了方程理论的复杂性，并给出了一个非确定性多项式上界。最后，我们研究了有限表示性问题，并表明只要签名中不包含交集运算，有限代数就可以表示为有限基集上的一元函数集合。
引用
@article{arxiv.1410.3981,
title = {The algebra of functions with antidomain and range},
author = {Robin Hirsch and Marcel Jackson and Szabolcs Mikulás},
journal= {arXiv preprint arXiv:1410.3981},
year = {2014}
}