let φ be a w  -continuous homomorphism from a dual banach algebra to c. the notion of φ-connes amenability is studied and some characterizations is given. a type of diagonal for dual banach algebras is de ned. it is proved that the existence of such a diagonal is equivalent to φ-connes amenability. it is also shown that φ-connes amenability is equivalent to so-called φ-splitting of a certain s...

Running against this principle are Cartesian foundationalist views which contend that, with the exception of core foundational beliefs, the mere fact that a person starts out believing something gives it no privileged position regarding immunity from dismissal, and that only a justification built on foundational beliefs warrants continued belief. Alchourrón, Gärdenfors and Makinson (AGM) carrie...

This report describes a strong connection between maximum satisfiability and minimally-unsatisfiable subfor-mulas of any constraint system, as well as techniques for exploiting it. Focusing on CNF formulas, we explore this relationship and present novel algorithms for extracting minimally-unsatisfiable subformulas, including one that finds all such subformulas. We present experimental results s...

Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function f , there is an algorithm A that takes as input a CMSO sentence φ, a positive integer t, and a connected graph G of maximum degree at most ∆, and determines, in time f(|φ|, t) · 2O(∆·t) · |G|O(t), whether G has a supergraph G′ of treewidth at most t such that G′ |= φ...

In this paper, we consider the concept of Ω-distance on a complete, partially ordered G-metric space and prove a fixed point theorem for (ψ, φ)-Weak contraction. Then, we present some applications in integral equations. c ©2013 All rights reserved.

In this paper, we introduced the notion of a generalized multivalued (α,φ)-almost contractions and establish the existence of fixed point theorems for this class of mapping. The results presented in this paper generalize and extend some recent results in multivalued almost contraction. Also, we show its applications in the Ulam-Hyers stability of fixed point problems for multivalued operators.

Let φ be a w-continuous homomorphism from a dual Banach algebra to C. The notion of φ-Connes amenability is studied and some characterizations is given. A type of diagonal for dual Banach algebras is dened. It is proved that the existence of such a diagonal is equivalent to φ-Connes amenability. It is also shown that φ-Connes amenability is equivalent to so-called φ-splitting of a certain short...

We consider a class of elliptic-parabolic-hyperbolic degenerate equations of the form b(u)t−a(u, φ(u)x)x = f with homogeneous Dirichlet conditions and initial conditions. In this paper we prove an L-contraction principle and the uniqueness of entropy solutions under rather general assumptions on the data.

In this paper, we define a new contractive mapping called fuzzy (φ,ψ)-contraction in fuzzy metric space and prove a fixed point theorem for this type of mapping. Finally, an example is given to illustrate the main result of this paper. Mathematics Subject Classification: 54E70; 47H25