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

• Processo: 97/03901-4
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional
• Data de Início da vigência: 08 de agosto de 1997
• Data de Término da vigência: 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
• Instituição 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
• Palavra(s)-Chave do Pesquisador: Categorias | Interpretacoes | Locales | Logicas Nao Classicas. | Traducoes

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)