Introdução às lógicas paraconsistentes: teoria e aplicações

• Processo: 92/00140-9
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de maio de 1992
• Data de Término da vigência: 31 de dezembro de 1992
• Área de conhecimento: Ciências Exatas e da Terra - Matemática - Álgebra
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Joao Rodolfo Suarez de Oliveira
• Instituição Sede: Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Lógica paraconsistente