Lisa Reidhaar-Olson. A new proof of the fixed-point theorem of provability logic. Notre Dame journal of formal logic, vol. 31 (1990), pp. 37–43.

1993 ◽  
Vol 58 (2) ◽  
pp. 714-715
Author(s):  
Franco Montagna
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Point Theorem ◽  
Formal Logic ◽  
Provability Logic ◽  
The Fixed Point Theorem

scholarly journals Existence of Positive Periodic Solutions for a Class ofn-Species Competition Systems with Impulses

2011 ◽  
Vol 2011 ◽  
pp. 1-9
Author(s):  
Peilian Guo ◽  
Yansheng Liu
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Periodic Solutions ◽  
Point Theorem ◽  
Sufficient Conditions ◽  
Species Competition ◽  
Positive Periodic Solutions ◽  
The Fixed Point Theorem

By using the fixed point theorem on cone, some sufficient conditions are obtained on the existence of positive periodic solutions for a class ofn-species competition systems with impulses. Meanwhile, we point out that the conclusion of (Yan, 2009) is incorrect.

Self‐defeating predictions and the fixed‐point theorem: A refutation

Inquiry ◽  
1982 ◽  
Vol 25 (3) ◽  
pp. 331-352 ◽  
Author(s):  
Audun Øfsti ◽  
Dag Østerberg
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Point Theorem ◽  
The Fixed Point Theorem

scholarly journals The Impulsive Neutral Integro-Differential Equations with Infinite Delay and Non-Instantaneous Impulses

2018 ◽  
Vol 7 (4.10) ◽  
pp. 694
Author(s):  
V. Usha ◽  
M. Mallika Arjunan
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Differential Equations ◽  
Banach Spaces ◽  
Point Theorem ◽  
Infinite Delay ◽  
Semigroup Theory ◽  
Existence Results ◽  
Krasnoselskii’S Fixed Point Theorem ◽  
The Fixed Point Theorem

In this manuscript, we work to accomplish the Krasnoselskii's fixed point theorem to analyze the existence results for an impulsive neutral integro-differential equations  with infinite delay and non-instantaneous impulses in Banach spaces. By deploying the fixed point theorem with semigroup theory, we developed the coveted outcomes.   

scholarly journals A fixed point theorem in H-space and related results

1990 ◽  
Vol 42 (1) ◽  
pp. 133-140 ◽  
Author(s):  
E. Tarafdar
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Point Theorem ◽  
Minimax Inequalities ◽  
The Fixed Point Theorem

The equivalence of a fixed point theorem and the Fan-Knaster-Kuratowski-Mazurkiewicz theorem in H-space has been established. The fixed point theorem is then applied to obtain a theorem on sets with H-convex sections, and also results on minimax inequalities.

scholarly journals Existence Results for a Nonlinear Semipositone Telegraph System with Repulsive Weak Singular Forces

2011 ◽  
Vol 2011 ◽  
pp. 1-12 ◽  
Author(s):  
Fanglei Wang ◽  
Yunhai Wang ◽  
Yukun An
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Positive Solutions ◽  
Point Theorem ◽  
Existence Results ◽  
The Fixed Point Theorem

Using the fixed point theorem of cone expansion/compression, we consider the existence results of positive solutions for a nonlinear semipositone telegraph system with repulsive weak singular forces.

scholarly journals Fixed point theorem for compatible mappings in intuitionistic fuzzy 3-metric spaces

2020 ◽  
Vol 24 (Suppl. 1) ◽  
pp. 371-376
Author(s):  
Hassan Abu-Donia ◽  
Hany Atia ◽  
Omnia Khater
Keyword(s):  
Fixed Point ◽  
Fixed Point Theorem ◽  
Point Theorem ◽  
Metric Space ◽  
Metric Spaces ◽  
Main Idea ◽  
Intuitionistic Fuzzy ◽  
Uniqueness And Existence ◽  
The Fixed Point Theorem ◽  
Asymptotically Regular

In this paper, we introduced the concept of weak compatible of type (?) and asymptotically regular defined on intuitionistic fuzzy 3-metric space and proved the uniqueness and existence the fixed point theorem for five mappings from a complete intuitionistic fuzzy 3-metric space into itself under weak compatible of type (?) and asymptotically regular. The used definitions and theorem show the practice of our main idea.

Sign in / Sign up

Export Citation Format

Share Document