Results 41 to 50 of about 319,002 (205)

A Generalized Multiple-Valued FPGA Architecture Based on Improved T-Gate Circuit

IEEE Access
Binary logic based FPGAs have been successfully used in a wide range of applications. Although these devices offer clear advantages, their programmable routing requires significant wiring resources between logic blocks.
Ahmet Unutulmaz, Cem Unsalan
doaj   +1 more source

From paraconsistent three-valued logics to multiple-source epistemic logic [PDF]

, 2013
National audienceSeveral interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers to the epistemic notion of contradictory, or both true and false at the same time.
Ciucci, Davide, Dubois, Didier
core   +2 more sources

A Gentzen Calculus for Nothing but the Truth [PDF]

, 2015
In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic (ETL), an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s.
Muskens, R. (Reinhard), Wintein, S. (Stefan)   +1 more
core   +4 more sources

Combinational multiple-valued circuit design by generalised disjunctive decomposition [PDF]

, 1997
A design of multiple-valued circuits based on the multiple-valued programmable logic arrays (MV PLA’s) by generalized disjunctive decomposition is presented.
Kalganova, T
core  

A New Evolutionary Hardware Approach for Logic Design. [PDF]

, 1999
This poster paper summarizes ongoing dissertation research defining an evolvable hardware methodology for evolving combinational binary and multiple-valued logic circuits.
Kalganova, T
core  

A multiple-valued logical semantics for Prolog [PDF]

, 1996
The coincidence of the declarative and procedural interpretations of logic programs does not apply to Prolog programs, due to the depth-first left-to-right evaluation strategy of Prolog interpreters. We propose a new semantics for Prolog programs based on a new fourvalued logic. The semantics is based on a new concept of completion analogous to Clark's
BARBUTI, ROBERTO, MANCARELLA, PAOLO MARIA   +1 more
openaire   +2 more sources

Modular decomposition of the NOR-TSUM multiple-valued PLA [PDF]

, 1997
A method for designing PLA-based combinational circuits by modular decomposition is presented. Main subjects are 1) Specific properties of TSUM operator, 2) MIN-TSUM and NOR-TSUM expansions with respect to the bound set, X1 of variables, 3) Realization ...
Holowinski, G, Kalganova, T, Lipnitskaya, N   +2 more
core  

Novel Ternary Adder and Multiplier Designs Without Using Decoders or Encoders

IEEE Access, 2021
Multiple-Valued Logic systems present significant improvements in terms of energy consumption over binary logic systems. This paper proposes new ternary combinational digital circuits that reduce energy consumption in low-power nano-scale embedded ...
Jihad Mohamed Aljaam, Ramzi A. Jaber, Somaya Ali Al-Maadeed   +2 more
doaj   +1 more source

Multiple-valued Logics

, 1995
This is the final version of a survey on many-valued logic to appear as Chapter 2 of Volume 1 ``Quantified Representation of Uncertainty and Imprecision'' of a ``Handbook of Defensible Reasoning and Uncertainty Management Systems'' to be published by Kluwer. The editors of the Handbook are D. Gabbay and P.
openaire   +2 more sources

Using a genetic algorithm for optimizing the functional decomposition of multiple-valued functions [PDF]

, 1997
The genetic algorithm which determines the good functional decomposition of multiple-valued logic functions is presented. The algorithm expands the range of searching for a best decomposition, providing the optimal column multiplicity.
Kalganova, T, Kochergov, E, Strechen, N
core