Prof. Dr. Edélcio Gonçalves de Souza (USP): Um procedimento abstrato para transformar uma dada lógica em uma lógica paraconsistente