Tableaux para uma lógica proposicional do plausível

• Processo: 09/11214-6
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de novembro de 2009
• Data de Término da vigência: 31 de outubro de 2011
• Área de conhecimento: Ciências Exatas e da Terra - Matemática
• Pesquisador responsável: Hércules de Araújo Feitosa
• Beneficiário: Tiago Augusto dos Santos Boza
• Instituição Sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
• Assunto(s): Método dos Tableaux Cálculo proposicional Sistema dedutivo Lógicas não clássicas
• Palavra(s)-Chave do Pesquisador: Espaços Pseudo-Topológicos | Lógica | Lógica Proposicional do Plausível | modelos algébricos | Sistemas dedutivos | Tableaux Analíticos | Lógica e Fundamentos da Matemática

Resumo

Esse Projeto tem por objetivo apresentar a lógica proposicional do plausível, originalmente introduzida em versão hilbertiana, em uma versão de tableaux. Com isso, pretende-se obter também o aprimoramento da formação lógica do aluno no âmbito dos tableaux e de lógicas não-clássicas, particularmente uma de caráter modal. (AU)