La idea básica de la implicación relevante aparece en la lógica medieval, y algún trabajo pionero fue hecho por Ackermann, Moh, y Church hacia 1950.