Skip to search formSkip to main contentSkip to account menu

Three-valued logic

Known as: Triple-value logic, Triple-valued logic, Trinary logic 
In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic… 
Wikipedia (opens in a new tab)

Related topics

Related topics

21 relations
Balanced ternaryBoolean algebraCodd's theoremExclusive or

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
An alternative approach for quasi-truth
In 1986, I. Mikenberg, N. da Costa and R. Chuaqui introduced the semantic notion of quasi-truth defined by means of partial… 
2011
2011
Modelling of the operation process of repairable technical objects with the use information from an artificial neural network
2010
2010
On the design of new low-power CMOS standard ternary logic gates
A novel low-power and high-performance Standard Ternary Inverter (STI) for CMOS technology is proposed in this paper. This… 
2005
2005
Three-valued logic in bounded model checking
In principle, bounded model checking (BMC) leads to semi-decision procedures that can be used to verify liveness properties and… 
2004
2004
A novel multiple-valued logic design using ballistic carbon nanotube FETs
This paper presents a novel method of multiple-valued logic design using carbon nanotube FETs (CNFETs). The geometry dependant… 
2002
2002
A note on Lukasiewicz’s three-valued logic
It is well known that Lukasiewicz’s three-valued-logic L3 admits – unlike classical logic – the definition of two non trivial… 
Highly Cited
1995
Highly Cited
1995
Self-timed is self-checking
Self-checking circuits detect (at least some of) their own faults. We describe self-timed circuits, including combinational logic… 
1994
1994
Time-efficient automatic test pattern generation systems
  • B. So
  • 1994
  • Corpus ID: 60036199
Automatic Test Pattern Generation (ATPG) systems are tools for generating tests for digital circuits. Due to the complexity of… 
1976
1976
Flip-Flops for Multiple-Valued Logic
A family of multiple-valued (MV) electronic memory elements, referred to herein as flip-flops, is presented along with a system… 
Highly Cited
1972
Highly Cited
1972
A Note on Three-Valued Logic Simulation
In this note we discuss a few attributes and pitfalls of three-valued (0, 1, u) digital logic simulation. The areas covered… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)