Fourier analysis is a powerful tool for many problems, and especially for solving various differential equations of interest in science and engineering. In the present paper since the utilization of Zadeh's Extension principle is quite difficult in practice, we prefer the idea of level sets in order to construct a fuzzy-valued function on a closed interval via related membership function. We de...

A general framework for proving an order of convergence for set-valued Runge Kutta methods is given in the case of linear differential inclusions, if the attainable set at a given time should be approximated. The set-valued method is interpreted as a (set-valued) quadrature method with disturbed values for the fundamental solution at the nodes of the quadrature method. If the precision of the q...

The generalized fuzzy valued θ-Choquet integrals will be established for the given μ-integrable fuzzy valued functions on a general fuzzy measure space, and the convergence theorems of this kind of fuzzy valued integral are being discussed. Furthermore, the whole of integrals is regarded as a fuzzy valued set function on measurable space, the double-null asymptotic additivity and pseudo-double-...

Multi-Valued Symbolic Model-Checking: Fairness, Counter-Examples, Running Time Arie Gurfinkel Master of Science Graduate Department of Computer Science University of Toronto 2003 Multi-valued model-checking is an effective technique for reasoning about systems with incomplete or inconsistent information. In particular, it is well suited for reasoning about abstract, partial, and feature-based s...

In order to investigate a many valued logical system whose proportional value is given in a lattice, in 1993 Y. Xu [12] first established the lattice implication algebra by combining lattice and implication algebra, and explored many useful structures. The ideal theory serves a vital function for the development of lattice implication algebras. Y. Xu, Y.B. Jun and E.H. Roh [6] introduced the no...

We present a framework for fully automated compositional verification of μ-calculus specifications over multi-valued systems, based on multivalued abstraction and refinement. Multi-valued models are widely used in many applications of model checking. They enable a more precise modeling of systems by distinguishing several levels of uncertainty and inconsistency. Successful verification tools su...

The semigroup-valued integral of M. Sion [S] is reformulated for a general notion of approximation by sums of values taken by a set function integrand. A convergence in measure theorem is established, which yields both his pointwise dominated convergence theorem as well as an integrability criterion which specializes to his existence theorem. In [S] M. Sion introduced and developed an "integral...

Abstract The author discusses necessary and sufficient conditions of the complete convergence for sums of B-valued independent but not necessarily identically distributed r.v.′s in Banach space of type p, and obtain characterization of Banach space of type p in terms of the complete convergence. A series of classical results on iid real valued r.v.′s are extended. As application author gives th...

Let L be a lattice ordered effect algebra. We prove that the lattice uniformities on L which make uniformly continuous the operations ⊖ and ⊕ of L are uniquely determined by their system of neighbourhoods of 0 and form a distributive lattice. Moreover we prove that every such uniformity is generated by a family of weakly subadditive [0,+∞]-valued functions on L.

Given any Banach space X, let L X 2 denote the Banach space of all measurable functions f : [0, 1] → X for which f 2 := 1 0 f (t) 2 dt