Aspectos matemáticos e computacionais das traduções entre lógicas

• Processo: 93/00925-9
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Data de Início da vigência: 01 de agosto de 1994
• Data de Término da vigência: 30 de setembro de 1997
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Walter Alexandre Carnielli
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Auxílio(s) vinculado(s): 97/03901-4 - Gonzalo Reyes | Université de Montréal - Canadá, AV.EXT; 97/03218-2 - Paraconsistent logics and translations., AR.EXT; 97/03217-6 - Browerian algebras and paraconsistent logic., AR.EXT; + mais auxílios vinculados 95/06728-6 - Xavier Caicedo | Universidad de los Andes - Colômbia, AV.EXT; 96/02554-6 - Michal Krynicki | Warsaw University - Polônia, AV.EXT; 95/02984-8 - What s wrong with so called default logic?, AR.BR; 95/02983-1 - Translations between logics, AR.BR; 95/03770-1 - What is a translation?, AR.EXT - menos auxílios vinculados
• Assunto(s): Cálculo proposicional
• Palavra(s)-Chave do Pesquisador: Logicas Proposicionais | Logicas Quantificacionais | Traducoes

Resumo

O projeto temático de equipe consiste, em resumo, na investigação do problema das traduções entre lógicas (proposicionais e de primeira ordem) e teorias matemáticas, sob os pontos de vista conceitual, metodológico e de aplicações, envolvendo interesses de pesquisa dos Grupos de Lógica da UNICAMP, USP e UNESP. (AU)