Atualmente mestrando em Matemática Pura na Universidade de São Paulo. Licenciado em Matemática pela Universidade Federal da Bahia (UFBA). Já atuou como bolsista e voluntário no Programa Institucional de Bolsas de Iniciação Científica (PIBIC) na área de Lógica, respectivamente com os projetos: Lógica Proposicional de Lukasiewicz (2021-2022) e A lógica Modal Clássica (2022-2023). Já atuou como bolsista CAPES nos programas Programa Institucional de Bolsas de Iniciação à Docência e Programa de Residência Pedagógica na Universidade Federal da Bahia. Tem experiência na área de Matemática, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: lógicas não clássicas, lógicas multivaloradas, lógica de Lukasiewicz e lógica modal. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O presente projeto visa desenvolver a Teoria de Modelos para uma família de lógicas que não são algebrizáveis pelo método geral de Blok-Pigozzi e são simultaneamente paraconsistentes. Mas permitem semânticas por meio de estruturas de Fidel. Estas semânticas foram apresentadas pela primeira vez no começo dos anos 70 para as lógicas de da Costa; esse trabalho foi recentemente continuado po…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID