XVII EBL - Encontro Brasileiro de Lógica / XVII - Escola de Lógica
Modelos a valores algébricos para teorias de conjuntos não clássicas
Polinomizando: um metod de representacao em logica, com raizes em leibniz e boole.
| Processo: | 93/00819-4 |
| Modalidade de apoio: | Auxílio Organização - Reunião Científica |
| Data de Início da vigência: | 17 de maio de 1993 |
| Data de Término da vigência: | 21 de maio de 1993 |
| Á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 Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Assunto(s): | Lógicas não clássicas Álgebra |
| Palavra(s)-Chave do Pesquisador: | Algebra | Logia | Logicas Nao Classicas | Logicas Paraconsistentes Poliv | Teoria De Conjuntos |
| 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) |