Abstract: In this paper the a logic, TJK, suitable for reasoning disquotationally about truth is presented and shown to have a standard model. This work improves on Hartry Field’s recent results establishing consistency and ω-consistency of truth-theories with strong conditional logics. A novel method utilising the Banach fixed point theorem for contracting functions on complete metric spaces i...

Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study the logical properties of the (parametric) well-founded fixed point operation. We show that the operation satisfies several, but not all of the equational pro...

Existence of nontrivial nonnegative equilibrium solutions for age structured population models with nonlinear diffusion is investigated. Introducing a parameter measuring the intensity of the fertility, global bifurcation is shown of a branch of positive equilibrium solutions emanating from the trivial equilibrium. Moreover, for the parameter-independent model we establish existence of positive...

We use the infrared fixed point structure of the SU(3) x SU(2) x U(1) renormalization group equations to derive predictions for the masses and mixings of heavy families in perturbatively unifiable grand unified theories. We show that the sum of the squares of all quark (or lepton) masses must be less than (355 GeV)2. This implies that theories with NH heavy families must have at least one new q...

An ordered set P has the fixed point property iff every order-preserving self-map of P has a fixed point. This paper traces the chronological development of research on this property, including most recent developments and open questions. Mathematics Subject Classification 06A06

In this paper, we give an application of Jungck’s fixed point theorem to best approximation theory, which extends the results of Singh and Sahab et al.

2 Some Background Theories 4 2.1 Domain Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Examples of Domains . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.2 Technical Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.1.3 Conceptual Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.4 Continuous Function...

In response to the liar’s paradox, Kripke developed the fixed-point semantics for languages expressing their own truth concepts. (Martin and Woodruff independently developed this semantics, but not to the same extent as Kripke.) Kripke’s work suggests a number of related fixed-point theories of truth for such languages. Gupta and Belnap develop their revision theory of truth in contrast to the ...

In this paper, we shall describe about a fuzzy estimation theory based on the concept of set-valued operators, suitable for available operation of extremely complicated large-scale network systems. Fundamental conditions for availability of system behaviors of such network systems are clarified in a form of β-level fixed point theorem for system of fuzzy-set-valued operators. Here, the proof of...

We study the significance of T-duality in the context of the gravitational description of gauge theories. We found that T-duality relates the deferents points of the moduli of a given gauge theory always far from the conformal fixed point. Also the described gauge theories seems to flow naturally to the able conformal points, those that naturally saturate all the possible known examples of near...