Busca avançada
Ano de início
Entree

Kiyoshi Isek | Kobe University - Japão

Processo: 92/03349-6
Linha de fomento:Auxílio à Pesquisa - Pesquisador Visitante - Internacional
Vigência: 09 de dezembro de 1992 - 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
Inst. 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  Cooperação internacional 

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:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)