abstract. 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 expl...

In this paper we investigate common xed point theorems for contraction mapping in fuzzy metric space introduced by Gregori and Sapena [V. Gregori, A. Sapena, On xed-point the- orems in fuzzy metric spaces, Fuzzy Sets and Systems, 125 (2002), 245-252].

This paper consists of three independent but related parts. In the ̄rst part (xx1{ 6) we give a combinatorial formula for the constants appearing in the \numerators" of characters of stable discrete series representations of real groups (see x3) as well as an analogous formula for individual discrete series representations (see x6). Moreover we give an explicit formula (Theorem 5.1) for certain ...

Introduction/purpose: The aim of this paper is to introduce the notion an interpolative generalised Meir-Keeler contractive condition for a pair self maps in fuzzy metric space, which enlarges, unifies and generalizes contraction only one map. Using this, we establish unique common fixed point theorem two through weak compatibility. article includes example, shows validity our results. Methods:...

In this paper, we prove a general common fixed point theorem for two pairs of weakly compatible self-mappings of a metric space satisfying a weak Meir-Keeler type contractive condition by using a class of implicit relations. In particular, our result generalizes and improves a result of K. Jha, R.P. Pant, S.L. Singh, by removing the assumption of continuity, relaxing compatibility to weakly com...

in this paper we investigate common xed point theorems for contraction mapping in fuzzy metric space introduced by gregori and sapena [v. gregori, a. sapena, on xed-point the- orems in fuzzy metric spaces, fuzzy sets and systems, 125 (2002), 245-252].

Some algorithms for nding common xed point of a family of mappings isconstructed. Indeed, let C be a nonempty closed convex subset of a uniformlyconvex Banach space X whose norm is Gateaux dierentiable and let {Tn} bea family of self-mappings on C such that the set of all common fixed pointsof {Tn} is nonempty. We construct a sequence {xn} generated by the hybridmethod and also we give the cond...

In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...

We suggest a explicit viscosity iterative algorithm for nding a common elementof the set of common xed points for W-mappings which solves somevariational inequality. Also, we prove a strong convergence theorem with somecontrol conditions. Finally, we apply our results to solve the equilibrium problems.Finally, examples and numerical results are also given.

In this paper, we have developed and analysed per models for recursive types, polymorphism, and subtyping. In developing our models, the emphasis has been on simplicity and on understanding the necessity of any conditions we impose on our structures. While similar structures have been given using the interpretation of constructive logic in a topos, the presentation of the models here is more di...