ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Instituição Sede da última proposta de pesquisa) País de origem: Argentina
Hector Federico Mallea em auxílios à pesquisa e bolsas apoiadas pela FAPESP.
| 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) |
O presente trabalho foca no estudo e desenvolvimento das lógicas de inconsistência formal (LFIs) com substituição, principalmente sob uma perspectiva algébrica, abordando também questões relacionadas à teoria da prova. Ele é dividido em três eixos principais de pesquisa, cada um abordando aspectos teóricos e práticos dessas lógicas com o objetivo de avançar na compreensão e nas aplicações…
| 1 | Bolsas no país contratadas |
| Processos vinculados | |