Results 221 to 230 of about 11,964 (263)

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 ...
Jaume Agustí-Cullell, Francesc Esteva, Pere Garcia, Lluís Godo   +3 more
openaire   +1 more source

A Framework for Automated Reasoning in Multiple-Valued Logics

Journal of Automated Reasoning, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
James J. Lu, Neil V. Murray, Erik Rosenthal   +2 more
openaire   +2 more sources

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

Multiple valued logic for microprocessors

Euromicro Newsletter, 1980
Abstract Pin limitation has always been an important problem of Integrated Circuits Packages. In this paper, we examine multiple valued logic as an alternative approach to time multiplexing. TTL and CMOS 4-2 and 2–4 interface circuits are presented and it is shown that 4-valued address, data and coded control lines would solve most of pin limitation ...
D. Etiemble, J.P. Aillaud
openaire   +1 more source

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

Multiple-Valued Logic: An Introduction and Overview

IEEE Transactions on Computers, 1977
MULTIPLE-VALUED logic has been a subject of research work for many years [1], [2]. Until the late 1960's most of the reported work was of a theoretical nature, leaving little impact on the firmly established binary approaches in the design of digital systems.
openaire   +1 more source

Multiple-valued logic in FPGAs

Proceedings of 36th Midwest Symposium on Circuits and Systems, 2002
This paper considers the applicability of multiple-valued logic (MVL) circuits in implementation of field-programmable gate arrays (FPGAs). It proposes an FPGA logic block architecture that features MVL current-mode CMOS circuitry. The logic block combines the lookup-table and multiplexer approaches found in commercial FPGAs, and provides additional ...
Z. Zilic, Z.G. Vranesic
openaire   +1 more source

Development of Programmable Logic Array for Multiple-Valued Logic Functions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
The binary information technology reaches its limits set by the atomic size miniaturization, by calculation speed and by the fundamental principle of energy dissipation per bit processing. Employing multiple-valued logic (MVL) cells as computing and memory units reduces energy losses and enables to pack of unprecedented high-density information, but ...
Vitaly G. Levashenko, Igor Lukyanchuk, Elena Zaitseva, Miroslav Kvassay, Jan Rabcan, Patrik Rusnak   +5 more
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

Multiple-Valued Logic: An Implementation

Optical Engineering, 1986
The state of the art for multiple-valued electronic devices relying on integrated injection logic (I2L) is discussed. Applications and extension of multiple-valued I2L devices to quaternary logic technology are presented.
T. T. Dao, D. M. Campbell
openaire   +1 more source