CV Lattes
ResearcherID
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Pos-Doc in CLE-UNICAMP, graduate at Licenciatura Em Matemática from Universidade São Francisco (1983), master's at Mathematics from Universidade de São Paulo (1989) and ph.d. at Mathematics from Universidade de São Paulo (2000). Has experience in Mathematics, focusing on Partial Differential Equations, acting on the following subjects: educação matemática, filosofia da matemática, análise real, função holomorfas generalizadas and funções generalizadas. (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 main purpose of the project is the study of Mathematical Logic by means of an algebraic approach. In this way, we will study Boole and Heyting algebras and we will see their connection with classic and intuitionist propositional calculus, namely, the Lindenbaum algebras. Moreover, it is our intention to investigate the proof of some interesting theorems of the theory, such as the Com…
| 2 / 2 | Completed scholarships in Brazil |
| Associated processes | |