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.
2017
2017
This short and informal article briefly introduces a four-valued logic. 
  • table 1
Is this relevant?
2016
2016
Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced… (More)
Is this relevant?
2013
2013
  • Ben Choi
  • IEEE International Conference on Industrial…
  • 2013
To further increase the speed of computation, this paper proposed to increase from binary to four-valued logic circuits. Four… (More)
  • table 1
  • table 2
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
2007
2007
This paper extends the basic rough set formalism introduced by Pawlak [1] to a rule-based knowledge representation language… (More)
  • table 1
  • figure 1
  • table 2
Is this relevant?
2002
2002
In this paper we discuss a model of quantum computer in which a state is an operator of density matrix and gates are general… (More)
Is this relevant?
1999
1999
In this paper we study 12 four-valued logics arisen from Belnap's truth and/or knowledge four-valued lattices, with or without… (More)
  • figure 1
  • table 1
Is this relevant?
1996
1996
of Complex Objects Using a Four-Valued Logic Thomas Rolleke, Norbert Fuhr [roelleke,fuhr] @ls6.informatik. uni-dortmund.de… (More)
  • figure 6
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
1988
1988
CMOS multiple-valued logic circuits using a charge-control method, which are suitable for use in synchronous sequential circuits… (More)
Is this relevant?
1978
1978
A logic with truth values represented by points in the unit square is developed. The logic is simultaneously a strict… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1977
Highly Cited
1977
 
Is this relevant?