Analytical tableaux for da costa's hierarchy of paraconsistent logics CN, 1<_n
Tableaux analíticos para os sistemas proposicionais paraconsistentes Cn de da cost...
Sistemas de sequentes para as hierarquias paraconsistentes Cn e Cn* de da Costa
| Processo: | 03/10303-9 |
| Modalidade de apoio: | Auxílio à Pesquisa - Reunião - Exterior |
| Data de Início da vigência: | 12 de janeiro de 2004 |
| Data de Término da vigência: | 16 de janeiro de 2004 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Itala Maria Loffredo D'Ottaviano |
| Beneficiário: | Itala Maria Loffredo D'Ottaviano |
| Instituição Sede: | Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Palavra(s)-Chave do Pesquisador: | Decidibilidade | Teorema Da Completude | Teorema Do Corte |
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |