A version of Cauchy’s stress theorem is given in which the stress describing the system of forces in a continuous body is represented by a tensor valued measure with weak divergence a vector valued measure. The system of forces is formalized in the notion of an unbounded Cauchy flux generalizing the bounded Cauchy flux by Gurtin & Martins [12]. The main result of the paper says that unbounded C...

We continue to develop a construction of an L-fuzzy valued measure by extending a measure defined on a σalgebra of crisp sets to an L-fuzzy valued measure defined on a TM-tribe in the case when operations with L-sets and L-fuzzy numbers are defined by using the minimum triangular norm TM . We introduce an L-fuzzy valued integral over an L-set with respect to an L-fuzzy valued measure, consider ...

In this paper we introduce XTCTL, a dense-time extension of the multi-valued Computation Tree Logic (XCTL) in [1]. Alternatively, XTCTL is a multi-valued extension of TCTL [2] over quasiboolean algebras. A multi-valued quotient is defined which enables to reduce dense-time XTCTL model checking to the untimed case.

In this paper. (1) We determine the complex-valued solutions of the following variant of Van Vleck's functional equation $$int_{S}f(sigma(y)xt)dmu(t)-int_{S}f(xyt)dmu(t) = 2f(x)f(y), ;x,yin S,$$ where $S$ is a semigroup, $sigma$ is an involutive morphism of $S$, and $mu$ is a complex measure that is linear combinations of Dirac measures $(delta_{z_{i}})_{iin I}$, such that for all $iin I$, $z_{...

The goal of this project is to develop a MV optimization package and use MV logic optimization to produce efficient code that simulates the MV network. The package is implemented as a MV layer on top of SIS. The process includes taking in a blif mv file, parsing it into a MVSIS network, applying optimization techniques on the network, performing technology mapping on the resulting network, and ...

We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized binary-valued logic, as well as motivating research towards a true multi-valued multi-level optimization package.

in this paper, following the methods of connor, we introduce some new generalized double difference sequencespaces using summability with respect to a two valued measure, double infinite matrix and an orlicz function in 2-normed spaces which have unique non-linear structure and examine some of their properties.

In the paper, tangent similarity measure of neutrosophic refined set is proposed and its properties are studied. The concept of this tangent similarity measure of single valued neutrosophic refined sets is an extension of tangent similarity measure of single valued neutrosophic sets. Finally, using the propsed refined tangent similarity measure of single valued neutrosophic sets, a numerical ex...

‎Suppose that $X_{t}$ is a one-dimensional and real-valued L'evy‎ ‎process started from $X_0=0$‎, ‎which ({bf 1}) its nonnegative‎ ‎jumps measure $nu$ satisfying $int_{Bbb‎ ‎R}min{1,x^2}nu(dx)

We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak König’s Lemma within the framework of computable analysis to classify incomputable functions of low complexity. By defining the multi-valued function Sep and a natural notion of reducibilit...