Results 301 to 310 of about 817,699 (342)

Automated Deduction in Multiple-valued Logics

1994
Abstract This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL) developed by the author. Moreover, it contains a virtually complete account of other approaches to automated reasoning in MVL. This is the first overview of this subfield of automated reasoning ever given.
openaire   +1 more source

Low-energy logic circuit techniques for multiple valued logic

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96), 2002
Multiple valued logic (MVL) has been proposed as a means for reducing the power, improving the speed, and increasing the packing density of VLSI circuits. These performance improvements are achieved by designers who identify signal processing functions that can benefit from the design tradeoffs possible with MVL.
K. Wayne Current, Vojin G. Oklobdzija, Dragan Maksimovic   +2 more
openaire   +1 more source

Multiple-Valued Logic Minimization

1984
As discussed in Chapter 1, many multiple-valued input logic functions can be implemented very efficiently in PLA’s with two-bit input decoders. Hence multiple-valued logic minimization is of great practical importance [FLE 75]. A two-bit decoder pairs two Boolean variables, say x1 and x2, and generates four decodes $$ \begin{array}{*{20}{c}} {{{x}_{
Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli   +3 more
openaire   +1 more source

Multiple-Valued Logic For Optoelectronics

Optical Engineering, 1986
Recent advances in optical bistability in a variety of materials and devices offer the potential for high speed operation over extended ranges of wavelength and temperature. The advantages of optoelec-tronic devices and multiple-valued logic are combined in various multistable solid-state device techniques, of which negative resistance multistability ...
openaire   +1 more source

Logic expressions of monotonic multiple-valued functions

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96), 2002
This paper presents some fundamental properties of multiple-valued logic functions monotonic with respect to a partial-ordering relation which is introduced in the set of truth values and does not necessarily have the greatest or least element. Two kinds of necessary and sufficient conditions for monotonic p-valued functions are given with the proofs ...
Kyoichi Nakashima, Y. Nakamura, Noboru Takagi   +2 more
openaire   +1 more source

Signed formulas: A liftable meta-logic for multiple-valued logics

1993
We consider means for adapting classical deduction techniques to multiple-valued logics. Some recent work in this area, including our own, utilizes signs (subsets of the set of truth values). In this paper we develop a language of signed formulas that may be interpreted as a meta-level logic. Questions not expressible in the underlying logic are easily
Neil V. Murray, Erik Rosenthal
openaire   +1 more source

Empirical plausible reasoning by multiple-valued logic

2005
A method to approximate the heuristic reasoning of an expert in judging the behaviour of a system is proposed. The method is based on the use of label functions, mapping the observed value of one attribute into a local judgment, and of multiple-valued logic trees, mapping a set of local judgements into a global one.
Paolo Bottoni, Luca Mari, Piero Mussio
openaire   +2 more sources

A multiple-valued logic approach for multigranulation rough set model

International Journal of Approximate Reasoning, 2017
Yanhong She, Xiaoli He, Huixian Shi, Y. Qian   +3 more
semanticscholar   +1 more source

A Multiple-Valued Logic for Implementing a Random Oracle and the Position-Based Cryptography

Journal of Russian Laser Research, 2019
A. Bykovsky
semanticscholar   +1 more source

Reliability analysis of multi-state system with application of multiple-valued logic

, 2017
E. Zaitseva, V. Levashenko
semanticscholar   +1 more source