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...

In this paper, a new wavelet representation for multivalued images is presented. The idea for this representation is based on the first fundamental form that provides a local measure for the contrast of a multivalued image. In this paper, this concept is extended toward multiscale fundamental forms using the dyadic wavelet transform of Mallat. The multiscale fundamental forms provide a local me...

and Applied Analysis 3 which is called the general variational inequality, introduced and studied by Noor 19 . It has been shown that the minimum of a class of differentiable functions can be characterized by the general variational inequality of type 2.3 . B If g ≡ I, the identity operator, then 2.1 reduces to find u ∈ C and w ∈ A u such that 〈F u w,v − u〉 ≥ 0, ∀v ∈ C, 2.4 which is known as th...

In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, fluents can assume truth values in the interval [0, 1] and actions can be executed at different application degrees also varying in [0, 1]. The notions of planning problem and solution plan also reflect a multivalued approach. Mul...

The study of set differential equations has been initiated as an independent subject and several results of interest can be found in [4–5, 10–12, 14]. The interesting feature of the set differential equations is that the results obtained in this new framework become the corresponding results of ordinary differential equations as the Hukuhara derivative and the integral used in formulating the s...

The aim of this work is to study a class dynamic contact problems coupling adhesion and friction between two viscoelastic bodies with nonlinear viscosity operators. boundary conditions concern relaxed unilateral contact, pointwise including possible recoverable behavior. A mixed variational formulation these given as five-field evolution implicit equation coupled differential inclusion describi...

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.

This paper focuses on complexity classes of partial functions that are computed in polynomial time with oracles in NPMV, the class of all multivalued partial functions that are computable nondeterministically in polynomial time. Concerning deterministic polynomial-time reducibilities, it is shown that 1. A multivalued partial function is polynomial-time computable with k adaptive queries to NPM...

The deenitions of isolating block, index pair, and the Conley index, together with the proof of homotopy and additivity properties of the index are generalized for discrete multivalued dynamical systems. That generalization provides a theoretical background of numerical computation used by Mischaikow and Mrozek in their computer assisted proof of chaos in the Lorenz equations, where nitely repr...