| 1 | Completed research grants |
| 5 | Completed scholarships in Brazil |
| 6 | All research grants and scholarships |
| Associated processes | |
Advanced search
Hércules de Araújo Feitosa
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) |
Research grants
Scholarships in Brazil
- The tableaux method for the intuitionist logic I1, BP.IC
- Pseudo-language to characterize recursive functions, BP.IC
- The propositional logic of 'almost always' in tableaux, BP.IC
(Only some records are available in English at this moment)