A logic based system for controlling inconsistencies in evolutionary databases

• Processo: 99/02372-3
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Brasil
• Data de Início da vigência: 25 de maio de 1999
• Data de Término da vigência: 28 de maio de 1999
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Walter Alexandre Carnielli
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Lógica paraconsistente Semântica Bases de dados
• Palavra(s)-Chave do Pesquisador: Calculo Paraconsistente | Logica | Semanticas | Traducoes