| Processo: | 92/03349-6 |
| Modalidade de apoio: | Auxílio à Pesquisa - Pesquisador Visitante - Internacional |
| Data de Início da vigência: | 09 de dezembro de 1992 |
| Data de Término da vigência: | 08 de fevereiro de 1993 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Jair Minoro Abe |
| Beneficiário: | Jair Minoro Abe |
| Pesquisador visitante: | Kiyoshi Isek |
| Instituição do Pesquisador Visitante: | Kobe University, Japão |
| Instituição Sede: | Instituto de Estudos Avançados (IEA). Universidade de São Paulo (USP). São Paulo , SP, Brasil |
| Assunto(s): | Lógica algébrica Intercâmbio de pesquisadores Colaboração científica |
| Palavra(s)-Chave do Pesquisador: | Algebras Bci | Algebras Bck | Logica Algebrica | Logica De Lesmewski | Principio De Freiling |
Resumo
Prosseguimento nas investigações das álgebras BCK e BCI (das quais o Prof. Iséki é o introdutor), especialmente no desenvolvimento de uma nova e conveniente classe de não-variedades de álgebra BCK. Relação entre tais álgebras e várias estruturas da lógica álgebra; Desenvolvimento de uma nova teoria matemática, tendo-se por base a lógica de Lesniewski; Estudo de novos axiomas de teoria dos conjuntos que negam a hipótese do continuo, rege o princípio de Freiling e temas correlatos. (AU)
| 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) |