Elkan’s paper consists of two almost unrelated parts. In the first section, Elkan arrives at the conclusion that an apparently reasonable version of fuzzy logic collapses mathematically to two-valued logic. In the second section, he questions the value of fuzzy logic in control applications and concludes that fuzzy logic does not provide an effective tool for dealing with the problem of uncerta...

The paper presents a new method for multivalued simulation of digital circuits based on calculation of Boolean derivatives on BDDs (or structural alternative graphs). A procedure for calculation of maximums of Boolean derivatives as the basis of multivalued simulation is given. The method is applicable for component level representations of digital circuits where as components arbitrary subcirc...

In this paper, we first establish collective fixed points theorems for a family of multivalued maps with or without assuming that the product of these multivalued maps is Φ-condensing. As an application of our collective fixed points theorem, we derive the coincidence theorem for two families of multivalued maps defined on product spaces. Then we give some existence results for maximal elements...

The transformation of a relational database schema into fourth normal form, which minimizes data redundancy, relies on the correct identification of multivalued dependencies. In this work, we study the learnability of multivalued dependency formulas (MVDF), which correspond to the logical theory behind multivalued dependencies. As we explain, MVDF lies between propositional Horn and 2-Quasi-Hor...

Linearization and planarization of the circuit models is pivotal to the submicron technologies. On the other hand, the characteristics of the VLSI circuits can be sometimes improved by using the multivalued components. It was shown that any `-level circuit based on the multivalued components is representable as an algebraic model based on ` linear arithmetic polynomials mapped correspondingly i...

The purpose of this paper is to introduce the concept of general fuzzy multivalued variational inclusions and to study the existence problem and the iterative approximation problem for certain fuzzy multivalued variational inclusions in Banach spaces. Using the resolvent operator technique and a new analytic technique, some existence theorems and iterative approximation techniques are presented...

We study multivalued dependencies, as well as the propositional formulas whose deduction calculus parallels that of multivalued dependencies, and the variant known as degenerated multivalued dependencies. For each of these sorts of expressions, we provide intrinsic characterizations in purely semantic terms. They naturally generalize similar properties of functional dependencies or Horn clauses.

Recently, Bucur, Guran and Petruşel presented some results on fixed point of multivalued operators on generalized metric spaces which extended some old fixed point theorems to the multivalued case ([1]). In this paper, we shall give some results on fixed points of multivalued operators on ordered generalized metric spaces by providing different conditions in respect to [1].

Discovery of multivalued dependencies from database relations is viewed as a search in a hypothesis space de ned according to the generalisation relationship among multivalued dependencies Two algorithms for the dis covery of multivalued dependencies from relations are presented The top down algorithm enumerates the hypotheses from the most general to more speci c hypotheses which are checked o...

In this paper, a new segmentation technique for multivalued images is elaborated. The technique accesses multiscale edge information of a multivalued image by a concept, called multiscale fundamental form. At different scales, an edge map of the multivalued images is obtained, at which a watershed-based algorithm is applied. The multiscale behavior of the obtained watershed regions is employed ...