the paper deals with special types of $l$-ordered sets, $l$-fuzzy complete lattices, and fuzzy directed complete posets.first, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $l$-fuzzy complete lattice is obtained, and it's proved that if $f$ is a monotone map on an $l$-fuzzy complete lattice $(p;e)$, then the least fixpoint of $f$ is meet of ...

The denotational semantics presented here defines an extension of CSP called CSPP . It includes a full description of infinite behaviour in one simple model using only finite traces. This is true for both finite and infinite alphabets. The structure is a complete lattice, and so also a complete partial order, under refinement. Thus recursion is defined by fixed points in the usual way. It is al...

a projective parameter of a geodesic as solution of certain ode is defined to be a parameter which is invariant under projective change of metric. using projective parameter and poincaré metric, an intrinsic projectively invariant pseudo-distance can be constructed. in the present work, solutions of the above ode are characterized with respect to the sign of parallel ricci tensor on a finsler s...

In this paper, we present some fixed point theorems for single valued mappings on $K$-complete, $M$-complete and Symth complete quasi metric spaces. Here, for contractive condition, we consider some altering distance functions together with functions belonging to $C$-class and $A$-class. At the same time, we will consider two different type $M$ functions in contractive conditions because the qu...

In this paper‎, ‎we introduce a new type of graph contraction using a special class of functions and give a best proximity point theorem for this contraction in complete metric spaces endowed with a graph under two different conditions‎. ‎We then support our main theorem by a non-trivial example and give some consequences of best proximity point of it for usual graphs.

Introduction. We propose to investigate here the consequences of the identity of each pair chosen from three important generalizations of the relation of betweenness on a line, namely, algebraic betweenness [l, p. 27 J, metric betweenness [3, p. 36], and lattice betweenness [7, Part I I ] . We shall also find an interpretation of metric betweenness in the Banach space of all continuous function...

We show that the lattice of compactifications of a topological group $G$ is a complete lattice which is isomorphic to the lattice of all closed normal subgroups of the Bohr compactification $bG$ of $G$. The correspondence defines a contravariant functor from the category of topological groups to the category of complete lattices. Some properties of the compactification lattice of a topological ...

‎In this study‎, ‎we investigate topological properties of fuzzy strong‎ b-metric spaces defined in [13]‎. ‎Firstly‎, ‎we prove Baire's theorem for‎ ‎these spaces‎. ‎Then we define the product of two fuzzy strong b-metric spaces‎ ‎defined with same continuous t-norms and show that $X_{1}times X_{2}$ is a‎ ‎complete fuzzy strong b-metric space if and only if $X_{1}$ and $X_{2}$ are‎ ‎complete fu...

In this paper, we give a fixed point theorem for $(psi,varphi)$-weakly contractive mappings in complete $b$-metric spaces. We also give a common fixed point theorem for such mappings in complete $b$-metric spaces via altering functions. The given results generalize two known results in the setting of metric spaces. Two examples are given to verify the given results.

In this paper, the poset $BX$ of formal balls is studied in fuzzy partial metric space $(X,p,*)$. We introduce the notion of layered complete fuzzy partial metric space and get that the poset $BX$ of formal balls is a dcpo if and only if $(X,p,*)$ is layered complete fuzzy partial metric space.