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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
We consider propositional logic. Three-valued logics are old: the first one is Lukasiewicz three valued logic from 1920 [8]. G… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Multivalued logic has always attracted the attention of digital system and logic designers. However, the high-performance and low… (More)
  • table II
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2004
2004
It is well established now that excitable media are capable of implementing of a wide range of computational operations, from… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
In this paper, we extend Nilsson’s probabilistic logic [1] to allow that each sentence S has three sets of possible worlds. We… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on… (More)
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We present a family of abstract-interpretation algorithms that are capable of determining "shape invariants" of programs that… (More)
Is this relevant?
1999
1999
We show that the adoption of a three-valued setting for inductive concept learning is particularly useful for learning… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
1991
1991
The aim of this paper is to propose a logical and algebraic theory which seems well-suited to logic programs with negatior, and… (More)
Is this relevant?
1972
1972
In this note we discuss a few attributes and pitfalls of three-valued (0, 1, u) digital logic simulation. The areas covered… (More)
Is this relevant?