in this paper, the (m+1)-step adams-bashforth, adams-moulton, and predictor-correctormethods are used to solve rst-order linear fuzzy ordinary dierential equations. the conceptsof fuzzy interpolation and generalised strongly dierentiability are used, to obtaingeneral algorithms. each of these algorithms has advantages over current methods. moreover,for each algorithm a convergence formula can b...

This paper presents an experiment with human subjects concerning the vague spatial relation ‘near’ in environmental space. After the topic is introduced and relevant previous work surveyed, the experiment is described. Three approaches to experimental analysis are presented and discussed: nearness neighbourhoods as regions with broad boundaries, fuzzy nearness and distance measures, and four-va...

In this paper we represent an efficient query optimization technique for the multi-valued rough relational database which follows the indiscernibility relation in its domain. This notion is perceived by using an encoding function to convert a multi-valued attribute to a constant single valued attribute. A simple select-querying technique is provided for selecting the tuples of single-valued att...

With every real valued function, of a real argument, can be associated a matrix function mapping a linear space of symmetric matrices into itself. In this paper we study directional differentiability properties of such matrix functions associated with directionally differentiable real valued functions. In particular, we show that matrix valued functions inherit semismooth properties of the corr...

Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective into Belnap’s logic and consider a few of its properties. Then we show that by using it four-valued analogs of Kleene’s weak three-valued logic, and the asymmetric logic of Lisp are also available. We propose an extension of these ideas to the family of distributive bi...

We review the main difficulties and advantages in developing CMOS ternary circuits. In addition to employing multiple power sources and multiple thresholds, we describe a new theory of transmission functions for designing CMOS ternary logic circuits. It can explain the main CMOS ternary circuits proposed previously. Computer simulations show that the circuits based on the transmission-function ...

In this paper, some properties of the monotone set-valued function defined by the set-valued Choquet integral are discussed. It is shown that several important structural characteristics of the original set function, such as null-additivity, strong order continuity, property(S) and pseudometric generating property, etc., are preserved by the new set-valued function. It is also shown that integr...

Multi-valued partial CFL functions are computed by one-way nondeterministic pushdown automata equipped with write-only output tapes. We give an answer to a fundamental question, raised by Konstantinidis, Santean, and Yu [Act. Inform. 43 (2007) 395–417], of whether all multi-valued partial CFL functions can be refined by single-valued partial CFL functions. We negatively solve this question by p...

A Qk(R ) -valued function is essentially a rule assigning k unordered and non necessarily distinct elements of R to each element of its domain set A ⊆ R . For a Qk(R) valued function f we construct a decomposition into k branches that naturally inherit the regularity properties of f . Next we prove that a measurable Qk(R ) -valued function admits a decomposition into k measurable branches. An e...

In recent years, Fourier multiplier theorems in vector–valued function spaces have found many applications in embedding theorems of abstract function spaces and in theory of differential operator equations, especially in maximal regularity of parabolic and elliptic differential–operator equations. Operator–valued multiplier theorems in Banach–valued function spaces have been discussed extensive...