•LÓGICA DE LUKASIEWICZ
–Lukasiewicz usa ^  ou “i” para terceiro valor de verdade (i de “indeterminate”).
–Sua lógica foi desenvolvida para lidar com afirmações incertas futuras, ou seja, a existência de proposições contingentes sobre o futuro.
–De acordo com sua interpretação, tais proposições não são nem verdadeiras nem falsas, mas (metafisicamente) indeterminadas.
–Há uma diferença em relação à interpretação de “u” de Kleene. O “i” não é resultante da falta de informação, mas sim do impedimento de se poder fazer uma avaliação conclusiva para verdadeiro ou falso. Algo que  ainda não ocorreu é menos “real” do que algo verdadeiro ou falso.
–A base da filosofia que suporta a lógica de Lukasiewicz é aristotélica, ou seja, considerar algo futuro como verdadeiro ou falso é adotar o fatalismo, doutrina que prega que o futuro é pré-determinado.
–A única diferença entre as tabelas verdade das lógicas de Kleene e Lukasiewicz é o valor de ^ ® ^, que para Kleene é ^ e para Lukasiewicz é V.
–As tabelas verdade propostas por Lukasiewicz 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    ^    V