Currently studying for a master's degree in Pure Mathematics at the University of São Paulo. Graduated in Mathematics from the Federal University of Bahia (UFBA). He has already worked as a scholarship holder and volunteer in the Institutional Scientific Initiation Scholarship Program (PIBIC) in the area of #8203;#8203;Logic, respectively with the projects: Lukasiewicz's Propositional Logic (2021-2022) and Classical Modal Logic (2022-2023). He has already served as a CAPES fellow in the Institutional Teaching Initiation Scholarship Program and Pedagogical Residency Program at the Federal University of Bahia. He has experience in the area of #8203;#8203;Mathematics, with an emphasis on Mathematical Logic, working mainly on the following topics: non-classical logics, multivalued logics, Lukasiewicz logic and modal logic. (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) |
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),…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |
CV Lattes
ORCID