5 papers
Complete Heyting Algebra Semantics for an Intuitionistic Version of Matching Logic (Extended Abstract)
Horaţiu Cheval
We present work in progress towards an intuitionistic version of Applicative Matching Logic. We introduce a semantics based on complete Heyting algebras, and propose a proof system…
Quantitative metastability of the Tikhonov-Mann iteration for countable families of mappings
Horatiu Cheval
In this paper, we obtain rates of metastability for the Tikhonov-Mann iteration for countable families of mappings in CAT(0) spaces. This iteration was recently defined by the auth…
Proceedings 7th Symposium on Working Formal Methods
Horaţiu Cheval, Laurenţiu Leuştean, Andrei Sipoş
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
On modified Halpern and Tikhonov-Mann iterations
Horatiu Cheval, Ulrich Kohlenbach, Laurentiu Leustean
We show that the asymptotic regularity and the strong convergence of the modified Halpern iteration due to T.-H. Kim and H.-K. Xu and studied further by A. Cuntavenapit and B. Pany…
Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration
Horatiu Cheval, Laurentiu Leustean
In this paper, we compute quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration in W-hyperbolic spaces. This iteration is an extension to a nonlinear setting of…