Métodos de Ehrenfeucht-Fraïssé em teoria de modelos de F-estruturas
Teorias de Probabilidade não-convencionais, sua importância e aplicações
| Processo: | 97/03217-6 |
| Modalidade de apoio: | Auxílio à Pesquisa - Reunião - Exterior |
| Data de Início da vigência: | 29 de julho de 1997 |
| Data de Término da vigência: | 01 de agosto de 1997 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Elias Humberto Alves |
| Beneficiário: | Elias Humberto Alves |
| Instituição Sede: | Faculdade de Filosofia e Ciências (FFC). Universidade Estadual Paulista (UNESP). Campus de Marília. Marília , SP, Brasil |
| Vinculado ao auxílio: | 93/00925-9 - Aspectos matemáticos e computacionais das traduções entre lógicas, AP.TEM |
| Palavra(s)-Chave do Pesquisador: | Browerian Algebras | Heyting Algebras | Intuitionistic Logic | Paraconsistent Logic |
| 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) |