Stephen Kleene elaboró las tablas de verdad para un sistema de lógica trivalente.