Uma Lógica Paraconsistente das Teorias de Quase-Verdade e Algumas Metapropriedades Via Traduções entre Lógicas

Licenciado em Matemática pela Fundação Educacional de Bauru (1984), Mestre em Fundamentos da Matemática pela Universidade Estadual Paulista - UNESP - IGCE (1992) e Doutor em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas - UNICAMP - IFCH (1998). Desde 1988, é professor na UNESP, Faculdade de Ciências, Departamento de Matemática, Câmpus de Bauru. No momento, é professor assistente doutor e é credenciado no Programa de Pós-Graduação em Filosofia da UNESP. Sua experiência acadêmica tem ênfase no ensino de Lógica e Fundamentos da Matemática e suas investigações científicas estão voltadas para lógica, traduções entre lógicas, modelos algébricos, quantificadores e lógicas não clássicas.

Graduado em Matemática pela Universidade Estadual Paulista “Júlio de Mesquita Filho” (2002), Mestre em Filosofia pela mesma Universidade (2005) e Doutor em Filosofia pela Universidade Estadual de Campinas - UNICAMP - IFCH (2011). Atualmente, é Professor Assistente Doutor na UNESP, Faculdade de Ciências, Departamento de Matemática, campus de Bauru. É credenciado no Programa de Pós-Graduação em Filosofia da UNESP - FFC - Marília. Atua principalmente nos seguintes temas: lógica, linguagens formais - semântica, métodos de prova, teorias da verdade, estruturas parciais, algoritmos, raciocínio indutivo, quantificadores e tableaux analíticos.