Busca avançada
Ano de início
Entree

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

Processo: 18/17286-8
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de novembro de 2018
Vigência (Término): 31 de outubro de 2019
Área do 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

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.

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)