CV Lattes
Google Scholar Citations
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
bachelor's at Licenciatura Em Ciências Hab Em Matemática from Fundação Educacional de Bauru (1984), master's at Fundamentos da Matemática from Universidade Estadual Paulista Júlio de Mesquita Filho (1992) and doctorate at Philosophy from Universidade Estadual de Campinas (1998). Has experience in Mathematics, acting on the following subjects: lógica, translations, lógica modal, tablôs and modelos algébricos. (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 investigate non-classical logics and methods of proofs, more specifically intuitionist (constructivist) logics and the tableaux method, considering the computational interest of this deductive procedure. The central objective of this research is to present the intuitionist logic I1, which was originally presented in an axiomatic deductive system, as in Carnielli and S…
This project is based on computability theory, with emphasis on recursive functions. The objective of this research is to construct a well-structured programming pseudo-language, syntactically similar to the C language, which is one of the most used programming languages in the world. Starting from the definition of recursive functions, with the set of initial functions and rules for obta…
In his master's degree essay entitled "About quantifiers: a formalization of the quantifier 'almost always' ", Rodrigues (2011) introduces a logic to deal with the concept of 'almost always', as well as done in the Logic of the Ultrafilter. The Logic of the Ultrafilter was develop by Sette, Carnielli and Veloso (1999) in order to capture formally the notions of 'almost always' or 'almost …
(Only some records are available in English at this moment)
| 1 / 0 | Completed research grants |
| 5 / 4 | Completed scholarships in Brazil |
| 6 / 4 | All research grants and scholarships |
| Associated processes | |