Doutor em Filosofia. Atua principalmente na área de Lógica.
Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)
Bacharelado e mestrado em Filosofia pela Universidade Federal de Goiás. Doutorado em Filosofia pela Eberhard Karls Universität Tübingen.
Áreas de Interesse
(áreas de interesse de ensino e pesquisa)
Lógica intuicionista, lógicas subestruturais, inferencialismo lógico, dedução natural, cálculo de sequentes, cálculo lambda, teoria da computação, complexidade computacional, inteligência artificial, ética, filosofia política e filosofia do direito.
Universidade Federal da Paraíba, Centro de Ciências Humanas, Letras e Artes, Departamento de Filosofia, Campus I, Cidade Universitária, 58051-900, João Pessoa, PB, Brasil