CV Lattes
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Institutional affiliation from the last research proposal) Birthplace: Brazil
graduate at Philosophy from Universidade Federal do Rio de Janeiro (1975), graduate at Agronomia from Universidade Federal da Bahia (1989), master's at Philosophy from Universidade Estadual de Campinas (1998) and ph.d. at Philosophy from Universidade Estadual de Campinas (2004). Has experience in Philosophy, acting on the following subjects: lógica paraconsistente, sistemas de tableaux, dedução natural, teoria da prova and tableaux analíticos. (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 notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also in several aspects of computing. The study of logical inference for applications requires the understanding of combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical, alg…
| 2 / 1 | Completed scholarships in Brazil |
| Associated processes | |