Has experience in Mathematics, focusing on Mathematics, acting on the following subjects: educação and educação pública. (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) |
In 1932, Lewis and Langford published work called Symbolic Logic, not qualifying as notions of normal modal logic S5. This logic uses the ¡ (necessary) and Ê (possible) operators as new object language symbols. In the semantic environment in Kripke, we have contexts of reflexivity, symmetry, and transitivity between worlds. The objective of this project of scientific initiation is to reco…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |
CV Lattes
ORCID