In this paper, we provide some generalizations of the Darbo's fixed point theorem and further develop notion $F$-contraction introduced by Wardowski in (\cite{wad}, D. Wardowski, \emph{Fixed points a new type contractive mappings complete metric spaces,} Fixed Point Theory Appl., 94, (2012)). To achieve this, introduce Darbo-type $F$-contraction, cyclic $(\alpha,\beta)$-admissible operator also...

We study a cyclic proof system C over regular expression types, inspired by linear logic and non-wellfounded theory. Proofs in can be seen as strongly typed goto programs. show that they denote computable total functions we analyse the relative strength of Gödel’s T. In general case, prove two systems capture same on natural numbers. affine i.e., when contraction is removed, precisely primitive...

In 2011, Gabeleh and Akhar [3] introduced semi-cyclic-contraction and considered the existence and convergence results of best proximity points in Banach spaces. In this paper, the author introduces a cone semicyclic φ-contraction pair in cone metric spaces and considers best proximity points for the pair in cone metric spaces. His results generalize the corresponding results in [1–5]..

Glucose oxidation to CO(2) in man at the fasted, steady state has been investigated in normal, hypothyroid, patients by monitoring the specific activity of plasma glucose and expired CO(2) after intravenous injection of glucose-1-(14)C, glucose-6-(14)C, and sodium bicarbonate-(24)C in tracer amounts. Making certain stoichiometric assumptions about the oxidation of the C-1 and C-6 carbons of glu...

The regulation of CaQ2 concentration in relation to myofibrils plays a central role in the production of contraction and relaxation in cardiac muscle (Langer, 1968). The calcium pump of the sarcoplasmic reticulum is a major factor producing relaxation by removing Ca2+ from the region of the myofibrils, and may secondarily produce changes in Ca2+ release on activation leading to alterations in m...

Cyclic weak φ-contraction mapping is introduced in Menger space and fixed point theorem for such mappings are studied in Menger space. Mathematics Subject Classification 47H10, 54H25

In this paper, we first introduce a new class of the pointwise cyclic-noncyclic proximal contraction pairs. Then consider coincidence quasi-best proximity point problem for class. Finally, study points weak Kannan We an example to indicate validity main result.