This paper is an attempt to introduce mathematical structures for classical planning. It is rst shown that the set-based structures underlying classical planning are unable to build more than a monoid. Consequently, an appropriate structure is presented (that of the incidence algebra of a partial plan) and used to build the partial plan space as an algebraic eld. A vector space, an aane space a...

motivated by samet et al. [nonlinear anal., 75(4) (2012), 2154-2165], we introduce the notions of $alpha$-$phi$-fuzzy contractive mapping and $beta$-$psi$-fuzzy contractive mapping and prove two theorems which ensure the existence and uniqueness of a fixed point for these two types of mappings. the presented theorems extend, generalize and improve the corresponding results given in the literature.

in this paper, the matsumoto metric with special ricci tensor has been investigated. it is proved that, if  is ofpositive (negative) sectional curvature and f is of  -parallel ricci curvature with constant killing 1-form ,then (m,f) is a riemannian einstein space. in fact, we generalize the riemannian result established by akbar-zadeh.

the aim of this paper is to establish random coincidence point results for weakly increasing random operators in the setting of ordered metric spaces by using generalized altering distance functions. our results present random versions and extensions of some well-known results in the current literature.

n this paper, we prove some common fixed point theorems for multivalued mappings and we present some new generalization contractive conditions under the condition of weak compatibility. our results extends chang-chen’s results  as well as ´ciri´c results. an example is given to support the usability of our results.

Partially ordered sets and metric spaces are used in studying semantics in Computer Science. Sets with both these structures are hence of particular interest. The partial metric spaces introduced by Matthews are an attempt to bring these ideas together in a single axiomatic framework. We consider an appropriate context in which to consider these spaces is as a bitopo-logical space, i.e. a space...

let (x, d) be a compact metric space and f : x → x be a continuous map. consider the metric space (k(x),h) of all non empty compact subsets of x endowed with the hausdorff metric induced by d. let ¯ f : k(x) → k(x) be defined by ¯ f(a) = {f(a) : a ∈ a} . we show that block-coppels chaos in f implies block-coppels chaos in ¯ f if f is a bijection.

We can see from (p) and (p) that p(x, y) =  implies x = y. However, the converse is not necessarily true. A typical example of this situation is provided by the partial metric space (R,pmax), where the function pmax : R+ × R+ → R+ is defined by pmax(x, y) =max{x, y} for all x, y ∈ R+. Other examples of partial metric spaces which are interesting from a computational point of view may be foun...