In this paper we generalize to unbounded convex subsets C of hyperbolic spaces results obtained by W.A. Kirk and R. Esṕınola on approximate fixed points of nonexpansive mappings in product spaces (C×M)∞, where M is a metric space and C is a nonempty, convex, closed and bounded subset of a normed or a CAT(0)-space. We extend the results further, to families (Cu)u∈M of unbounded convex subsets of...

In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the -modality easily follow from this result. Furthermore, these properties are extended to the system ILP. Failure of arrow interpolation for ILW is established by providing an explicit count...