Results 261 to 270 of about 318,553 (304)

Multiple-valued logic design tools

[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic, 2002
A brief overview of past progress in multiple-valued logic design is presented. The methods are considered with respect to the likely development of multiple-valued field programmable gate arrays. Look-up table based arrays are considered in some detail and an algorithm for mapping multiple-valued functions to such an array is presented. This algorithm
openaire   +1 more source

Conquering Uncertainty in Multiple-Valued Logic Design

Artificial Intelligence Review, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Multiple-valued dynamic source-coupled logic

33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings., 2004
A new multiple-valued current-mode (MVCM) integrated circuit based on dynamic source-coupled logic (SCL) is proposed for low-power VLSI applications. The use of a precharge-evaluate logic style makes steady current flow cut off, thereby greatly saving the power dissipation.
T. Hanyu, A. Mochizuki, M. Kameyama
openaire   +1 more source

A non-commutative multiple-valued logic

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic, 2002
A set of operations which can be used to design n-valued switching functions is given. These give rise to a class of algebras which are left-handed skew lattices together with dual implication operation. Such algebras form a decidable discriminator variety, and hence possess a well-behaved structure theory and satisfy many identities.
openaire   +1 more source

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

Computational Neuroscience and Multiple-Valued Logic

2009 39th International Symposium on Multiple-Valued Logic, 2009
Ten years have passed since the Japanese “Century of the Brain” was promoted, and its most notable objective, the unique “Creating the Brain” approach, has led us to apply a humanoid robot as a neuroscience tool. Here, I explain possible communications between computational neuroscience and multiple-valued logic.
openaire   +1 more source

Formalizing multiple-valued logics as institutions

2005
Many of the uncertainty management systems used in the Knowledge Based Systems technology can be considered as the set of mechanisms that a certain underlying multiple-valued logic supplies: certainty values, numeric or linguistic, would be the truth-values of that logic, a knowledge base would be a set of axioms, and the mechanisms of uncertainty ...
J. Agustí-Cullell, F. Esteva, P. Garcia, Ll Godo   +3 more
openaire   +1 more source

States on Multiple-Valued Logic Algebras

2014
In this chapter we will present the notion of state for the case of pseudo-BCK algebras. One of the main results consists of proving that any Bosbach state on a good pseudo-BCK algebra is a Riecan state, but conversely it turns out not to be true. Some conditions are given for a Riecan state on a good pseudo-BCK algebra to be a Bosbach state.
openaire   +1 more source

Multiple-Valued Logic Applications

2008
Michael D. Miller, Mitchell A. Thornton
openaire   +1 more source

Multiple-Valued Logic Functions

2012
Radomir S. Stanković, Jaakko T. Astola, Claudio Moraga   +2 more
openaire   +1 more source