Multi-valued Fredkin gates (MVFG) are reversible gates and they can be considered as modified version of the better known reversible gate the Fredkin gate. Reversible logic gates are circuits that have the same number of inputs and outputs and have one-to-one and onto mapping between vectors of inputs and outputs; thus the vector of input states can be always reconstructed from the vectors of o...

In this paper, we study model-checking of linear-time properties in multi-valuedsystems. Safety property, invariant property, liveness property, persistence anddual-persistence properties in multi-valued logic systems are introduced. Somealgorithms related to the above multi-valued linear-time properties are discussed.The verification of multi-valued regular safety properties an...

In this paper, we introduce the concepts of fuzzy complex number, the operations of fuzzy complex number, the concepts of convergence for fuzzy complex number-valued sequence and the fuzzy complex numbervalued mapping. Then the fixed point of fuzzy complex number-valued mapping is discussed, some existent theorems of this mapping are given. It will establish a foundation for researching fuzzy c...

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

It is firstly proved that the multi-input-single-output (MISO) fuzzy systems based on interval-valued $R$- and $S$-implications can approximate any continuous function defined on a compact set to arbitrary accuracy.  A formula to compute the lower upper bounds on the number  of interval-valued fuzzy sets needed to achieve a pre-specified approximation  accuracy for an arbitrary multivariate con...

In this paper, we established a new class of almost \((\alpha/\eta)\)-\(\psi_\Gamma\)-contraction mapping in induced fuzzy metric space (FMS) and then proved the results for existence fixed point theorem (FPT) multi-valued mappings (MVMs) on collection non-empty closed subsets. application, prove Fredholm integral inclusion (FII). An illustrative example also introduced support our main result.

Interval-valued intuitionistic fuzzy sets (IVIFSs), a generalization of fuzzy sets, is characterized by an interval-valued membership function, an interval-valued non-membership function.The objective of this paper is to deal with criteria aggregation problems using IVIFSs where there exists a prioritization relationship over the criteria.Based on the ${L}$ukasiewicz triangular norm, we first p...

Due to the high density and the low consumption power in the digital integrated circuits, mostly technology of CMOS is used. During the past times, the Metal oxide silicon field effect transistors (MOSFET) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. B...

Due to the high density and the low consumption power in the digital integrated circuits, mostly technology of CMOS is used. During the past times, the Metal oxide silicon field effect transistors (MOSFET) had been used for the design and implementation of the digital integrated circuits because they are compact and also they have the less consumption power and delay to the other transistors. B...