Multiple-output switching functions can be simulated by multiple-valued decision diagrams (MDDs) at a signi cant reduction in computation time. We analyze the following approaches to the representation problem: shared multiple-valued decision diagrams (SMDDs), multi-terminal multiple-valued decision diagrams (MTMDDs), and shared multi-terminal multiple-valued decision diagrams (SMTMDDs). For ex...

In this paper, we shall generalize the definition of (φ− k) −B contraction to multi-valued mappings which was presented before in single valued case by Mihet. Then we shall prove two fixed point theorems for multi-valued (φ− k) − B contraction mappings in probabilistic metric space.

In this paper we review the development & advantages of multi valued logic. The multi valued logic has been object of research over last few decades. Since 1971 there have been annual symposiums on multi valued logic. The use of non binary logic or discrete-analog signal processing is not out of the question if the multiple-valued hardware algorithms are developed for fast parallel operations. ...

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

This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they support explicit modeling of uncertainty,...

Abstract In low-resource domains, it is challenging to achieve good performance using existing machine learning methods due a lack of training data and mixed types (numeric categorical). particular, categorical variables with high cardinality pose challenge tasks such as classification regression because requires sufficiently many points for the possible values each variable. Since interpolatio...

The notion of compatibility for point-to-point mappings recently defined by Jungck is generalized to include multi-valued mappings. This idea is used to establish a fixed point theorem for a generalized contractive multi-valued mapping and a single-valued napping.

Single valued neutrosophic hesitant fuzzy set has three independent parts, namely the truth membership hesitancy function, indeterminacy membership hesitancy function, and falsity membership hesitancy function, which are in the form of sets that assume values in the unit interval [0, 1]. Single valued neutrosophic hesitant fuzzy set is considered as a powerful tool to express uncertain, incompl...

Stock valuation is very important for fundamental investors to select undervalue stocks to earn excess profit. However, it may be difficult to use stock valuation results because different models generate different estimates on the same stock. This suggests that the value of a stock should be multi-valued rather than single-valued. We therefore develop a multi-valued stock valuation model based...

Multi-valued networks provide a simple yet expressive qualitative state based modelling approach for biological systems. In this paper we develop an abstraction theory for asynchronous multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model. The abstraction theory therefore provides a mechanism for coping with the state space...