Jose Carlos cifuentes vasquez | Univ federal parana/ufpr - Brasil

• Processo: 97/03387-9
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Brasil
• Data de Início da vigência: 01 de agosto de 1997
• Data de Término da vigência: 31 de dezembro de 1997
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Walter Alexandre Carnielli
• Pesquisador visitante: Jose Carlos Cifuentes Vasquez
• Instituição do Pesquisador Visitante: Universidade Federal do Paraná (UFPR), Brasil
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Algebras De Boole Polivalentes | Conjuntos Difusos | Logicas De Post | Semantica De Feixes | Teoria De Modelos | Traducoes Entre Logicas

Resumo

Dentre as atividades de pesquisa pretende-se desenvolver os dois temas seguintes: 1) teoria de modelos difusos (em colaboração com W. A. Carnielli e I.M.L. D'Ottaviano) e 2) semânticas de feixes (em colaboração com W.A. Carnielli). Ambos os temas estão relacionados com o projeto temático de equipe "aspectos matemáticos e computacionais das traduções entre lógicas" (processo nº 93/0925-9). Quanto às atividades didáticas do visitante, o mesmo deverá se encarregar de um curso sobre "teoria de modelos" (60 horas) e de seminários de pesquisa (30 horas) no programa de pós-graduação em lógica (IFCH-Unicamp). (AU)