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.
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… 
1995
1995
What is failure? An approach to constructive negation
A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer… 
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… 
1986
1986
Computational Aspects of Three-Valued Logic
This paper investigates a three-valued logic L3, that has been introduced in the study of natural language semantics. A complete… 
1978
1978
The B-ternary logic and its applications to the detection of hazards in combinational switching circuits
Both the steady states and some transient states of switching circuits can be described by B-ternary logic in which the truth… 
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)