|
|
|
Centro de Lógica, Epistemologia e Historia da Ciencia
Projetos com financiamento
1.
|
|
Sílvio Seno Chibeni. "ATUALIZACAO DO ACERVO BIBLIOGRAFICO DA BIBLIOTECA DO CENTRO DE LOGICA EPISTEMOLOGIA E HISTORIA DA CIENCIA DA UNICAMP". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (05/2006-04/2007), Auxílio Pesquisa / interdisciplinar, valor: R$ 100.566,24, Processo #2005/03673-0.
|
2.
|
|
Marcelo Esteban Coniglio. "COMBINACOES ENTRE LOGICAS: QUESTOES CONCEITUAIS". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (08/2005-04/2007), Bolsa Mestrado MS / bolsa no pais-ms-i, valor: R$ 26.320,80, Processo #2005/53278-0. Aluno: Alberto Leopoldo Batista Neto.
|
3.
|
|
Walter Alexandre Carnielli. "COMPUTABILIDADE: FUNCOES COMPUTAVEIS, LOGICA E OS FUNDAMENTOS DA MATEMATICA". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (11/2005-10/2006), Auxilio publicação / auxilio-publicacao, valor: R$ 7.000,00, Processo #2005/55231-0.
|
4.
|
|
Walter Alexandre Carnielli. "COMPUTACAO QUANTICA, COMPUTACAO PARACONSISTENTE E LOGICA: INTERRELACOES E FUNDAMENTOS DOS ALGORITMOS QUANTICOS". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (06/2006-05/2009), Bolsa Doutorado DR / bolsa no pais-dr-i, valor: R$ 93.038,40, Processo #2005/04123-3. Aluno: Juan Carlos Agudelo Agudelo.
|
5.
|
|
Marcelo Esteban Coniglio. "CONECTIVOS FLEXIVEIS: UMA ABORDAGEM CATEGORIAL AS SEMANTICAS DE TRADUCOES POSSIVEIS E A NOCAO DE FORMA LOGICA". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (09/2006-07/2008), Bolsa Mestrado MS / bolsa no pais-ms-i, valor: R$ 30.320,40, Processo #2006/53405-4. Aluno: Teófilo de Souza Reis.
|
6.
|
|
Walter Alexandre Carnielli. "DE GODEL A KRIPKE: INCOMPLETUDE, VERDADE E PARACONSISTENCIA". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (09/2006-08/2008), Bolsa Mestrado MS / bolsa no pais-ms-i, valor: R$ 31.680,00, Processo #2006/01786-4. Aluno: Anderson de Araújo.
|
7.
|
|
Walter Alexandre Carnielli. "FUNDAMENTOS DE TEORIA DE ESTRUTURAS COMO BASE PARA UMA FILOSOFIA DA MATEMATICA". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (09/2005-08/2009), Bolsa Doutorado DR / bolsa no pais-dd-1, valor: R$ 96.083,00, Processo #2005/55203-7. Aluno: Rodrigo de Alvarenga Freire.
|
8.
|
|
Walter Alexandre Carnielli. "LOGICAL CONSEQUENCE AND COMBINATIONS OF LOGICS - FUNDAMENTS AND EFFICIENT APPLICATIONS". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (04/2005-03/2009), Projeto tematico / tematico, valor: R$ 249.384,00, Processo #2004/14107-2.
|
9.
|
|
Marcelo Esteban Coniglio. "LOGICAS DA INCONSISTENCIA FORMAL E LOGICAS MODAIS: UMA ABORDAGEM PARA O ESTUDO DE PARADOXOS MODAIS". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (08/2005-07/2006), Bolsa Iniciação Científica IC / bolsa no pais-ic, valor: R$ 4.356,00, Processo #2005/54292-6. Aluno: Newton Marques Peron.
|
10.
|
|
Fátima Regina Rodrigues Évora. "Revista Cadernos de História e Filosofia da Ciência, V. 16 - números 1 e 2 de 2006". Conselho Nacional de Desenvolvimento Científico e Tecnológico - CNPq, (03/2006-07/2007), Auxilio publicação, valor: R$ 9.000,00, Processo #410156/2006-0; CAPES-Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, (12/2006), Auxilio publicação, valor: R$ 9.000,00.
|
11.
|
|
Milton Augustinis de Castro. "SISTEMAS DE SEQUENTES PARA AS HIERARQUIAS PARACONSISTENTES CN E CN* DE DA COSTA". Fundação de Amparo à Pesquisa do Estado de São Paulo - Fapesp, (06/2006-05/2007), Bolsa Pos doutorado no país PD / bolsa no pais-pd, valor: R$ 50.437,68, Processo #2005/60568-4.
|
|
|
|
