In this paper, we present structure of the fixed point set results for condensing set-valued map. Also, we prove a generalization of the Krasnosel'skii-Perov connectedness principle to the case of condensing set-valued maps.

Angell’s logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC Ferguson, and 16-valued Fine. It is that the former image surjective homomorphism from latter, i.e., an epimorphic image. Some candidate 7-valued matrices are ruled out as characteristic AC. Whether with fewer than 9 values exist remains open question. The results were obtained help MUltlog syst...

Consider a single server queue with renewal arrivals and i.i.d. service times in which the server operates under a processor sharing service discipline. To describe the evolution of this system, we use a measure valued process that keeps track of the residual service times of all jobs in the system at any given time. From this measure valued process, one can recover the traditional performance ...

we establish a sharp maximal function estimate for some vector-valued multilinear singular integral operators. as an application, we obtain the $(l^p, l^q)$-norm inequality for vector-valued multilinear operators.

Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available. In this paper, we present an implementation of a symbolic model checker for multi-valued temporal logics. The model checker...