Busca avançada
Ano de início
Entree

Gonzalo Reyes | Université de Montréal - Canadá

Processo: 97/03901-4
Linha de fomento:Auxílio à Pesquisa - Pesquisador Visitante - Internacional
Vigência: 08 de agosto de 1997 - 22 de agosto de 1997
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Itala Maria Loffredo D'Ottaviano
Beneficiário:Itala Maria Loffredo D'Ottaviano
Pesquisador visitante: Gonzalo Reyes
Inst. do pesquisador visitante: Université de Montréal, Canadá
Instituição-sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Vinculado ao auxílio:93/00925-9 - Aspectos matemáticos e computacionais das traduções entre lógicas, AP.TEM
Assunto(s):Lógica aplicada  Lógicas não clássicas  Intercâmbio de pesquisadores 

Resumo

O Prof. Gonzalo Reyes, durante sua estadia no Centro de Lógica, Epistemologia e História da Ciência (CLE) da UNICAMP, deverá desenvolver atividades de pesquisa relativas ao Projeto Temático FAPESP "Aspectos Matemáticos e Computacionais das Traduções entre Lógicas" com os pesquisadores Ítala M. L. D'Ottaviano, Walter A. Carnielli e Jairo J. da Silva, e os estudantes avançados de doutorado Hercules A. Feitosa e Giovanni de Queiroz. Deverá participar dos Seminários regulares e do Colloquium Logicae do Grupo de Lógica Teórica e Aplicada CL IFCH, que envolvem docentes, pesquisadores e alunos de pós-graduação: as duas conferências que deverá proferir serão sobre tema que caracteriza a inter-relação de seus trabalhos atuais com traduções entre sistemas lógicos. (AU)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.