1) Limits for paraconsistent calculi. 2) Tableau systemas FOT logics of formal inconsistency

• Processo: 01/04265-1
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 25 de junho de 2001
• Data de Término da vigência: 20 de julho de 2001
• Á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ógicas não clássicas Lógica paraconsistente Semântica formal
• Palavra(s)-Chave do Pesquisador: Computabilidade | Logica | Logicas Nao Classicas | Semanticas Formais