Junto con Newton Da Costa, son considerados las 2 más grandes autoridades en lógica paraconsistente.