CV Lattes
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Has experience in Mathematics, focusing on Mathematical Logic, acting on the following subjects: algebraic models for non-classical logics. (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) |
This project has as objective to present the propositional logic of the plausible, originally introduced in hilbertian version, in a version of tableaux. With this, it is intended also to get an improvement of the logical formation of the student on tableaux and non classical logics, particularly one of modal character. (AU)
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |