PhD student in Philosophy at the University of Vienna as, part of the project The Formal Turn The Emergence of Formalism in Twentieth-Century Thought. Master in Philosophy in the field of Logic and Philosophy of Science from the State University of Campinas (UNICAMP). Graduated in Philosophy from the Federal University of Santa Catarina. (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 use of translations between logics is quite appropriate to analyze how different logics are related and how they can be interpreted in each other. A classic example of this are the relative consistency proofs of classical logic in relation to intuitionistic logic, which represents an important milestone in the history of logic. The possibility of finding a common ground to discuss dif…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |
CV Lattes
ORCID