•Lógica Multivalores
–LÓGICA DE KLEENE
–Concebida originalmente para acomodar declarações matemáticas não decididas.
–O terceiro valor de verdade é ^ ou “u” de “undecided” (não decidido), indica que “não se sabe se é verdadeiro ou falso”.
–Não admite a interpretação de que “não é verdadeiro nem falso”.
–O valor de verdade indecidido indica este estado de ignorância, de maneira que quando uma fórmula lógica pode ter seu valor de verdade decidido, a despeito desta ignorância, este valor deve ser adotado, assim:
•V v ^ = V e F ^ ^ = F, mas
•V ^^ = ^ e F  v ^ = ^
–As tabelas verdade propostas por Kleene são:
      V   F  ^
Ø    F   V  ^
^   V     F   ^
V    V   
F    F     F
^   ^     F   ^
v   V     F   ^
V    V   
F    V     F
^    V    ^   ^
®   V     F   ^
V    V     F   ^
F    V     V   V
^    V    ^   ^