Graduanda em Licenciatura em Matemática pela Universidade Estadual de São Paulo ''Júlio de Mesquita Filho'' - UNESP, câmpus de Bauru. Desenvolve pesquisa em Lógica e Teoria da Prova, financiada pela FAPESP (Processo nº 2019/23436-5). É participante do projeto de extensão Raciocínio Lógico e o Pensamento Crítico (RacioLog). (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Em 1932, Lewis e Langford publicaram o trabalho denominado Symbolic Logic, no qual introduziram as noções da lógica modal normal S5. Esta lógica utiliza os operadores ¡ (necessário) e Ê (possível) como novos símbolos da linguagem-objeto. No ambiente semântico a lá Kripke, temos contextos de reflexibilidade, simetria e transitividade entre os mundos. O objetivo deste projeto de iniciação c…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID