Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Four-valued logic

Known as: Belnaps logic, Four value logic, Four valued logic 
In logic, a four-valued logic is any logic with four truth values. Multiple such logics were invented to deal with various practical problems.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The semantics of modal logics for reasoning about belief or knowledge is often described in terms of accessibility relations… Expand
Is this relevant?
2014
2014
The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in industry. While UML is mostly… Expand
  • table 1.1
  • table 2.1
  • table 2.2
  • table 2.3
  • figure 4.1
Is this relevant?
2013
2013
Several interpretations can be given to the third truth value in three-valued logics. Here, we consider the case when it refers… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2009
2009
This paper presents addition and multiplication in Galois field using multi-valued logic. Multi-valued logic (MVL) has matured to… Expand
  • figure 2
  • table 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
Reiter's default logic suffers the triviality, that is, a single contradiction in the premise of a default theory leads to the… Expand
  • table 1
  • figure 1
Is this relevant?
Highly Cited
1996
Highly Cited
1996
NULL Convention Logic (NCL) is a symbolically complete logic which expresses process completely in terms of the logic itself and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
of Complex Objects Using a Four-Valued Logic Thomas Rolleke, Norbert Fuhr [roelleke,fuhr] @ls6.informatik. uni-dortmund.de… Expand
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Abstract Bilattices, due to M. Ginsberg, are a family of truth-value spaces that allow elegantly for missing or conflicting… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1981
Highly Cited
1981
A new method to implement multiple-valued logic in large scale integrated circuits is introduced. The data are represented by… Expand
  • figure 3
  • figure 5
  • figure 6
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1977
Highly Cited
1977
It is argued that a sophisticated question-answering machine that has the capability of making inferences from its data base… Expand
Is this relevant?