分层最小不动点的等式性质
计算机科学中的逻辑
2015-12-11 v5
摘要
最近，在某些分层完备格之间的非单调函数上引入了一种新的不动点运算，并用于赋予含否定的逻辑程序和布尔上下文无关文法以语义。我们证明了这种新运算满足迭代理论公理所描述的不动点运算的“标准”恒等式。我们还研究了这种新的不动点运算与 -抽象之间的联系。
引用
@article{arxiv.1410.8111,
title = {Equational properties of stratified least fixed points},
author = {Zoltan Esik},
journal= {arXiv preprint arXiv:1410.8111},
year = {2015}
}