Auxílio à pesquisa 92/03349-6 - Lógica algébrica, Intercâmbio de pesquisadores - BV FAPESP
Processo: 92/03349-6
Vigência: 09 de dezembro de 1992 - 08 de fevereiro de 1993
Pesquisador visitante: Kiyoshi Isek
Inst. do pesquisador visitante: Kobe University, Japão
Assunto(s): Lógica algébrica Intercâmbio de pesquisadores Cooperação internacional
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)