We introduce the class of normal bilattice-based annotated first-order logic programs (BAPs) and develop declarative and operational semantics for them. Thus, we discuss properties of the associated immediate consequence operators and establish their fixed-point theory. In addition, SLD-resolution for these programs is defined and its soundness and completeness established.

PURPOSE In this report, the authors introduce the general concept of the completeness map, as a means to evaluate the completeness of data acquired by a given CT system design (architecture and scan mode). They illustrate the utility of completeness map by applying the completeness map concept to a number of candidate CT system designs, as part of a study to advance the state-of-the-art in card...

In this paper, we prove common fixed point theorems in fuzzy metric spaces for weakly compatible mappings along with property (E.A.) satisfying implicit relation. Property (E.A.) buys containment of ranges without any continuity requirement besides minimizing the commutativity conditions of the maps to commutativity at their point of coincidence. Moreover, property (E.A.) allows replacing the c...

In this paper, we define the concept of probabilistic like Menger (probabilistic like quasi Menger) space (briefly, PLM-space (PLqM-space)). We present some coupled fixed point and fixed point results for certain contraction type maps in partially order PLM-spaces (PLqM- spaces).

We show that quasi-metric or quasi-uniform spaces provide, inter alia, a common generalization of cpo's and metric spaces as used in denotational semantics. To accommodate the examples suggested by computer science, a reworking of basic notions involving limits and completeness is found to be necessary. Specific results include general fixed point theorem and a sequential completion construction.

In this Paper we will investigate some fixed point and common theorem for multivalued mappings of Banach space. We show that an extended form many Known results taking inequities. The general a result proved by Space Convergence in which contains new generalized Theorem.

This paper deals with some issues of fixed point concerning Caristi type mappings introduced by Abbasi and Golshan (Kybernetika 52:929–942, 2016) in fuzzy metric spaces. We enlarge this class prove completeness characterization corresponding space. The includes a comprehensive set examples showing the generality our results an open question.

In this paper, we prove existence of coincidence points and a common fixed point theorem for four maps under contractive conditions in cone metric spaces for non continuous mappings and relaxation of completeness in the space. These results extend and improve several well known comparable results in the existing literature. Mathematics Subject Classification: 47H10, 54H25.