In recent years, there have been major advances in CMOS VLSI technology, which generated great interest in electronic circuits, which is more efficient by perfection performance and power consumption. Circuits, called multi valued logic circuits offer several potential opportunities for improvement of present vlsi designs. Current mode CMOS multivalued logic circuits are interesting and have ma...

We address the problem of computing and learning multivalued multithreshold perceptrons. Every ninput k-valued logic function can be implemented using a (k; s)-perceptron, for some number of thresholds s. We propose a genetic algorithm to search for an optimal (k; s)-perceptron that e ciently realizes a given multiple-valued logic function, that is to minimize the number of thresholds. Experime...

We address the problem of supporting empir­ ical probabilities in monadic logic databases. Though the semantics of multivalued logic programs has been studied extensively, the treatment of probabilities as results of sta­ tistical findings has not been studied in logic programming/deductive databases. We de­ velop a model-theoretic characterization of logic databases that facilitates such a tre...

Optimization algorithms used in binary multi-level logic synthesis, such as network simplification, logic extraction, and resubstitution, have been treated independently and did not share computational procedures. Using multi-valued logic synthesis, some common conceptual and computational cores underlying these algorithms can be identified. We present an overview of a Boolean paradigm in multi...

1

This paper shows a new approach to low-power low-voltage CMOS MultipleValued (MVL) Ternary Logic, the “complete model”. This logic uses standard technology processes and requires only an extra power supply more than binary CMOS circuits. Using an original characterisation of CMOS multivalued dynamic gates, it is shown as the advantages obtained are better noise margins and a lower power consump...

In this paper we propose a framework for defining and reasoning about compositions of concerns, based on multivalued logics. Rather than providing a small set of built-in composition operations, our framework provides a mechanism for constructing arbitrary types of composition. Our multi-valued logic model checker, chek allows us to reason about the properties of compositions of concerns.

Typical analysis of Markovian models of processes refers only to the expected utility that can be obtained by the process. On the other hand, modal logic offers a systematic method of characterizing processes by combining various modal operators. A multivalued temporal logic for Markov chains and Markov decision processes has been recently proposed in [1]. Here, we discuss how it can be extende...

We present a complete finite axiomatization of the unrestricted implication problem for inclusion and conditional independence atoms in the context of dependence logic. For databases, our result implies a finite axiomatization of the unrestricted implication problem for inclusion, functional, and embedded multivalued dependencies in the unirelational case.

This paper concerns multivalued multithreshold functions, {0, 1, . . . , k}-valued functions on Rn that may be considered as generalizations of (linear) threshold functions, or as discretized versions of artificial neurons. Such functions have arisen in the context of multiple-valued logic and artificial neural networks. For any fixed k, we present two procedures which, given a set of points la...