El término "Lógica Paraconsistente" fue acuñado en 1976 por él.