A logical analysis of fixpoint theorems

MaRDI QIDQ5870840zbMATH OpenFDO

Authors Arij Benkhadra, Isar Stubbe

Publication date 23 January 2023

Full work available at URL https://arxiv.org/abs/2211.01782, http://cahierstgdc.com/wp-content/uploads/2023/01/BENKHADRA-_STUBBE-LXIV-1.pdf

zbMATH Keywords

enriched categoryfixpoint theoremquantale

Mathematics Subject Classification ID

Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20) Fixed-point theorems (47H10) Fixed-point and coincidence theorems (topological aspects) (54H25)

Recommendations

• The contraction principle as a particular case of Kleene's fixed point theorem
• scientific article; zbMATH DE number 5163099
• scientific article; zbMATH DE number 85793
• A fixed point theorem for contracting maps of symmetric continuity spaces
• Fixed point theorems in fuzzy quasi-metric spaces

Cited in

(6)

• A proof-theoretic investigation of a logic of positions
• Evidence for Fixpoint Logic
• On the Fixpoint Theory of Equality and Its Applications
• A logical analysis of fixpoint theorems
• Cauchy convergence in \(\mathcal{V}\)-normed categories
• A new proof of the fixed-point theorem of provability logic

This page was built for publication: A logical analysis of fixpoint theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5870840)