论文标题
FIXPOINT定理的逻辑分析
A logical analysis of fixpoint theorems
论文作者
论文摘要
我们证明了cauchy-Complete量化类别的收缩的FIXPOINT定理。它适用于任何基本晶格是连续的量化，并且适用于其控制功能依次降低血液连续的收缩。建立了足够的条件，可以建立固定点的独特性。示例包括已知和新的Fixpoint定理，用于度量空间，模糊度量空间和概率度量空间。
We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially lower-semicontinuous. Sufficient conditions for the uniqueness of the fixpoint are established. Examples include known and new fixpoint theorems for metric spaces, fuzzy metric spaces, and probabilistic metric spaces.
