Possui doutorado em Matemática na Universidad Nacional del Sur, Argentina (2014). Foi pós-doutorando da Universidade Estadual de Campinas 2017-2021 e professor Adjunto Exclusivo na área de matemática da Universidad Nacional del Sur, 2011-2024. Também exerceu como professor Associado Visitante da Universidade Federal do Rio Grande do Norte, 2022-2023. Atualmente é Jovem Pesquisador da Universidade de São Paulo 2023-2028 atuando na área de Lógica Matemática com ênfase em lógica algébrica e teoria de modelos. (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) |
Este projeto visa desenvolver a teoria de modelos dos modelos da Teoria Paraconsistente de Conjuntos tipo ZF (TPC) baseada na lógica de Costa Cw. Recentemente, apresentamos os modelos de F-estruturas valoradas seguindo a metodologia desenvolvida para os modelos de Heyting valorados; com estes modelos provamos que os axiomas de ZF são válidos neles. A prova esta fortemente baseada na exist…
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…
Este projecto visa desenvolver a teoria de modelos dos modelos da Teoria Paraconsistente de Conjuntos tipo ZF (TPC) baseada na lógica de da Costa Cw. Recentemente, apresentamos os modelos de F-estruturas valoradas seguindo a metodologia desenvolvida para os modelos de Heyting valorados; com estes modelos provamos que os axiomas de ZF são válidos neles. A prova está fortemente baseada na e…
O presente projeto visa continuar os estudos [10, 11] que foram desenvolvidos de março a outubro deste ano enquanto o candidato estava como professor visitante no Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadual de Campinas. Este projeto tem como objetivo desenvolver um estudo semântico das lógicas da inconsistência formal (Logics of Formal Inconsistency, LFI…
| 1 | Auxílios à pesquisa concluídos |
| 1 | Bolsas no país contratadas |
| 2 | Bolsas no país concluídas |
| 4 | Todos os Auxílios e Bolsas |
| Processos vinculados | |
CV Lattes
ORCID