CV Lattes
ResearcherID
ORCID
Universidade Estadual Paulista (UNESP). Campus de Bauru. Faculdade de Ciências (FC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Licenciatura Plena em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP - FC (2002), Mestrado em Filosofia, com área de concentração em Lógica e Epistemologia, pela Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP - FFC (2005), Doutorado em Filosofia, com área de concentração em Lógica, pela Universidade Estadual de Campinas - UNICAMP - IFCH (2011). Atualmente é Professor Assistente Doutor na UNESP, Faculdade de Ciências, Departamento de Matemática, campus de Bauru. É credenciado no Programa de Pós-Graduação em Filosofia da UNESP - FFC - Marília. Tem experiência no ensino de Lógica e Teoria do Conhecimento. Atua principalmente nos seguintes temas: lógica, linguagens formais - semântica, métodos de prova, teorias da verdade, estruturas parciais, algoritmos, raciocínio indutivo, quantificadores e tableaux analíticos. (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) |
Apresenta-se o plano de investimentos em infraestrutura de pesquisa da Faculdade de Ciências da UNESP, Campus de Bauru, dentro dos recursos disponibilizados através da Reserva Técnica Institucional da FAPESP, referente ao ano de 2019. O plano busca atender às demandas dos laboratórios e pesquisadores da unidade, em especial aqueles que têm ou tiveram projetos de pesquisa financiados pela …
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…
O cálculo I1 foi introduzido em 1995 por Sette e Carnielli. Este sistema possui um caráter intuicionista, no mesmo sentido do sistema lógico desenvolvido por Arend Heyting (1898-1980), o qual surgiu como a lógica subjacente a Matemática Intuicionista, ou construtivista, de Luitzen Egbertus Jan Brouwer (1881-1966). Ademais, o cálculo I1 é uma lógica trivalorada que, ao contrário da lógica …
Em 1986, Mikenberg et al. introduziram a noção semântica da quase-verdade definida por meio de estruturas parciais, cujos predicados são entendidos como triplas de conjuntos mutuamente disjuntos, a saber: as sequências (n-uplas) que satisfazem o predicado, as que não satisfazem e as sequências cuja satisfação ao predicado é indeterminada, ou desconhecida. Coniglio e Silvestrini, ao se dep…
| 1 | Auxílios à pesquisa concluídos |
| 6 | Bolsas no país concluídas |
| 7 | Todos os Auxílios e Bolsas |
| Processos vinculados | |