O método dos tablôs para a lógica intuicionista I1

• Processo: 18/17286-8
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de novembro de 2018
• Data de Término da vigência: 31 de outubro de 2019
• Área de conhecimento: Ciências Exatas e da Terra - Matemática - Matemática Aplicada
• Pesquisador responsável: Hércules de Araújo Feitosa
• Beneficiário: Pedro Henrique Paiola
• Instituição Sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
• Assunto(s): Lógicas não clássicas Lógica intuicionista Método dos Tableaux Raciocínio dedutivo e indutivo
• Palavra(s)-Chave do Pesquisador: Lógica I1 | Lógicas intuicionistas | Lógicas não clássicas | Método dos tablôs | Matemática Discreta: Lógica

Resumo

Este projeto tem como meta a investigação de lógicas não clássicas e métodos de provas, mais especificamente, de lógicas intuicionistas (construtivistas) e o método dos tablôs, considerando o interesse computacional desse procedimento dedutivo. O objetivo central da pesquisa é apresentar a lógica intuicionista I1, que foi originalmente apresentada em um sistema dedutivo axiomático, como em Carnielli e Sette (1995), através do método dos tablôs. Por ser classificada como intuicionista, também deve ser considerado o aspecto construtivista da lógica I1. Trata-se de um trabalho teórico, baseado na leitura de textos sobre os temas tratados para a obtenção dos subsídios para se cumprir o objetivo proposto.