CV Lattes
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
graduation at Matemática from Universidade Estadual Paulista Júlio de Mesquita Filho (2014) and master's at Philosophy from Universidade Estadual Paulista Júlio de Mesquita Filho (2018). Has experience in Mathematics, acting on the following subjects: método de tableaux analíticos, lógica matemática não-clássica, lógicas moduladas, linguagens formais-semântica and sistema de dedução. (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 alternative deductive methods to the axiomatic method has been of great interest to the Proof Theory and the Theory of Computation, the latter being characterized, for example, by searching for suitable methods for implementation on computers. Among these methods, we emphasize the method of analytic tableaux introduced by Smullyan in 1968. The logical systems in tableaux have b…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |