CV Lattes
ORCID
Google Scholar Citations
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Institutional affiliation from the last research proposal) Birthplace: Argentina
He holds a PhD in Mathematics from the Universidad Nacional del Sur, Argentina (2014). He was a postdoctoral fellow at the University of Campinas from 2017-2021 and Adjunct professor in the area of mathematics at the Universidad Nacional del Sur, 2011-2024. He also worked as a Visiting Associate Professor at the Federal University of Rio Grande do Norte, 2022-2023. He is currently a Young Researcher at the University of São Paulo 2023-2028 working in the area of Mathematical Logic with an emphasis on algebraic logic and model theory. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
This project aims to develop the model theory of the models of Type ZF Paraconsistent Set Theory (PST) based on da Costa Logic Cw. Recently, we present F-structures valued models following the methodology developed for Heyting-valued models; with these models, we are able to prove the axioms of ZF are valid on them. The proof is strongly based on the existence of paraconsistent models ofL…
The present project aims to develop Model Theory for a family of logics that are not algebraizable by the general Blok-Pigozzi method and are simultaneously paraconsistent. But they allow semantics through Fidel structures. These semantics were first presented in the early 1970s for da Costa's logics; This work has recently been continued by Odintsov (2003), Carnielli and Coniglio (2016),…
This project intends to continue the studies [10, 11] that were developed from March to October of this year while the candidate was a visiting professor at the Centre for Logic, Epistemology and History of Science at the University of Campinas. This project aims to develop a semantic study of the Logics of Formal Inconsistency (LFIs), by using new non-deterministic semantics of algebraic…
| 1 / 1 | Completed research grants |
| 3 / 3 | Completed scholarships in Brazil |
| 4 / 4 | All research grants and scholarships |
| Associated processes | |