Jan Lukasiewicz fue el primero en proponer una alternativa sistemática a la lógica bi-valorada de Aristóteles y se describe la lógica de tres valores, con el tercer valor de ser posible.