广义超度量半格上严格收缩函数的不动点理论
计算机科学中的逻辑
2013-09-05 v1
摘要
我们引入了一类新的抽象结构，称为广义超度量半格，其中半格的交运算与广义距离函数以紧密协调的方式共存。我们证明了在有向完备广义超度量半格上严格收缩函数的构造性不动点定理，并引入了相应的归纳原理。我们列举了在逻辑编程语义和定时计算中的应用实例，在此之前，唯一可用的工具是 Priess-Crampe 和 Ribenboim 关于球完备广义超度量半格上严格收缩函数的非构造性不动点定理。
引用
@article{arxiv.1309.0894,
title = {The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices},
author = {Eleftherios Matsikoudis and Edward A. Lee},
journal= {arXiv preprint arXiv:1309.0894},
year = {2013}
}
备注
In Proceedings FICS 2013, arXiv:1308.5896