O método de Tableaux aplicado a uma lógica quase-modulada para o quantificador "po...
Computando consequência lógica na lógica infinitamente-valorada de Lukasiewicz
| Processo: | 00/07190-0 |
| Modalidade de apoio: | Auxílio à Pesquisa - Reunião - Brasil |
| Data de Início da vigência: | 15 de agosto de 2000 |
| Data de Término da vigência: | 18 de agosto de 2000 |
| Área do conhecimento: | Ciências Exatas e da Terra - Ciência da Computação |
| Pesquisador responsável: | Marcelo Finger |
| Beneficiário: | Marcelo Finger |
| Instituição Sede: | Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil |
| Assunto(s): | Lógica modal Lógicas não clássicas Linguística computacional |
| Palavra(s)-Chave do Pesquisador: | Deducao Automatica | Linguistica Computacional | Logica Modal | Logicas Nao Classicas | Provadores De Teoremas |
| 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) |