We study the semantics of disjunctive logic programs that simultaneously contain multiple kinds of default negations. We introduce operators not G , not W , and not STB in the language of logic programs to represent the Generalized Closed World Assumption, the Weak Generalized Closed World Assumption, and the stable negation, respectively. The notion of stratiication involving diierent kinds of...

We present some fixed point results for mappings which satisfy Hardy–Rogers rational type, quasicontraction type, weak contraction type and generalized fψ type cyclic conditions in 0-complete partial metric spaces. Presented results generalize or improve many existing fixed point theorems in the literature. To demonstrate our results, we give throughout the paper some examples. One of the possi...

A weak form of weak quasi-continuity, which we call subweak quasi-continuity, is introduced. It is shown that subweak quasi-continuity is strictly weaker than weak quasicontinuity. Subweak quasi-continuity is used to strengthen several results in the literature concerning weak quasi-continuity. Specifically, results concerning the graph, graph function, and restriction of a weakly quasi-continu...

in this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and  coincidence point  theorems on partially ordered fuzzy metric spaces are proved. also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.

in this paper, the notion of $psi -$weak contraction cite{rhoades} isextended to fuzzy metric spaces. the existence of common fixed points fortwo mappings is established where one mapping is $psi -$weak contractionwith respect to another mapping on a fuzzy metric space. our resultgeneralizes a result of gregori and sapena cite{gregori}.

In this note, we establish and improve some results on fixed point theory in topological vector spaces. As a generalization of contraction maps, the concept of quasi contraction multivalued maps on a topological vector space will be defined. Further, it is shown that a quasi contraction and closed multivalued map on a topological vector space has a unique fixed point if it is bounded value.

In this paper, we prove the existence and uniqueness of solution to the impulsive fuzzy functional differential equations under generalized Hukuhara differentiability via the principle of contraction mappings. Some examples are provided to illustrate the result.