Curso
Doutorado
Título da pesquisa
Proto Topos
Resumo da pesquisa
A pesquisa visa primeiramente explorar uma teoria lógico formal com o intuito de descrever o cálculo o proposicional sob um diferente aspecto e verificar as conclusões inerentes a esse aspecto. A teoria em questão é a Teoria de Categorias e o objetivo principal é o de refinar uma categoria em especial, denominada Proto Topos, mais elementar do que um Topos, capaz de derivar o cálculo proposicional. Esse estudo implica no estudo de álgebras não clássicas e de sistemas lógicos não clássicos.
Orientador
Edelcio Gonçalves de Souza