‎Recently‎, ‎Hussain et al.‎, ‎discussed the concept of $wt$-distance on a‎ ‎metric type space‎. ‎In this paper‎, ‎we prove some fixed‎ ‎point theorems for classes of contractive type multi-valued operators‎, ‎by using $wt$-distances in the setting of a complete metric type space‎. ‎These results generalize a result of Feng and Liu on multi-valued operators.

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

Lempel-Ziv (LZ) is a popular lossless data compression algorithm that produces good compression performance, but suffers from relatively slow processing speed. This paper proposes an enhanced version of the Lempel-Ziv algorithm, through incorporation of a neural pre-processor in the popular predictor-encoder implementation. It is found that in addition to the known dramatic performance increase...

‎‎Many authors such as Amini-Harandi‎, ‎Rezapour ‎et al., ‎Kadelburg ‎et al.‎‎, ‎have tried to find at least one fixed point for quasi-contractions when $alphain[frac{1}{2}‎, ‎1)$ but no clear answer exists right now and many of them either have failed or changed to a lighter version‎. In this paper‎, ‎we introduce some new strict fixed point results in the set of multi-valued '{C}iri'{c}-gener...

‎recently‎, ‎hussain et al.‎, ‎discussed the concept of $wt$-distance on a‎ ‎metric type space‎. ‎in this paper‎, ‎we prove some fixed‎ ‎point theorems for classes of contractive type multi-valued operators‎, ‎by using $wt$-distances in the setting of a complete metric type space‎. ‎these results generalize a result of feng and liu on multi-valued operators.

‎The aim of this paper is to establish and prove some results on common fixed point‎ for a pair of multi-valued mappings in complex valued $b$-metric spaces‎. ‎Our‎ ‎results generalize and extend a few results in the literature‎.  

To further increase the speed of computation, this paper aims to design and implement digital circuits entirely within the domain of multi-valued logic. In a fourvalued logic circuit, each wire carries two bits at a time, each logic gate operates two bits at once, and each memory cell records two bits at one time. To make the multi-valued computation possible, this paper describes a simple four...

Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional information such as incompleteness, uncertainty, and many others, but with the cost of time and space complexity. This paper addresses this problem, and proposes a new algorithm for Multi-valued Model Checking. While Chechi...