Una vez que la idea de una conexión con la lógica fue formulada, hubo varios desarrollos que "testearon" la nueva teoría: