In this paper, we discuss the semantics of disjunctive programs and databases and show how multivalued mappings and their fixed points arise naturally within this context. A number of fixed-point theorems for multivalued mappings are considered, some of which are already known and some of which are new. The notion of a normal derivative of a disjunctive program is introduced. Normal derivatives...

in the present paper, a partial order on a non- archimedean fuzzymetric space under the  lukasiewicz t-norm is introduced and fixed point theoremsfor single and multivalued mappings are proved.

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.

In the present paper, a partial order on a non- Archimedean fuzzymetric space under the  Lukasiewicz t-norm is introduced and fixed point theoremsfor single and multivalued mappings are proved.

In this paper, we establish and prove the existence of best proximity points for multivalued cyclic $F$- contraction mappings in complete metric spaces. Our results improve and extend various results in literature.

polygroups are multivalued systems that satisfy group like axioms. in this paper the class of n-arypolygroups is introduced. the concepts of n-ary normal subpolygroups and strong homomorphisms of n-arypolygroups are adopted. with respect to these concepts the isomorphism theorems for n-ary polygroups arestated and proved. finally, we will consider the fundamental relation  * defined on an n-ar...

We prove an extension theorem for linear selectors of linear fuzzy multivalued operators.