Busca avançada
Ano de início
Entree

O método de Tableaux aplicado à lógica da relevância

Processo: 16/07446-2
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de maio de 2016
Vigência (Término): 30 de abril de 2017
Área do conhecimento:Ciências Exatas e da Terra - Matemática
Pesquisador responsável:Luiz Henrique da Cruz Silvestrini
Beneficiário:Luis Felipe Salvador Boato
Instituição-sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
Assunto(s):Método dos Tableaux   Lógica paraconsistente   Lógicas não clássicas   Lógica matemática

Resumo

A utilização de métodos dedutivos alternativos ao axiomático tem sido de grande interesse para a Teoria da Prova e para a Teoria da Computação, sendo esta última caracterizada, por exemplo, pela busca por métodos mais adequados para implementações em computadores. Dentre tais métodos, destacamos o método de tableaux analíticos introduzidos por Smullyan em 1968. Os sistemas lógicos em tableaux têm sido bastante explorados na literatura, sobretudo para as lógicas paraconsistentes, em que o princípio de explosão não é válido. Tais lógicas vêm sendo amplamente estudadas, principalmente para resolver questões computacionais, por exemplo, em bancos de dados, em que podemos ter, ao mesmo tempo, uma informação e sua negação. Em 1975, Anderson e Belnap introduziram a Lógica da Relevância, inspirados pela avaliação de sentenças condicionais onde o antecedente precisa ser relevante para o consequente, com o objetivo de evitar os desconfortos intuitivos gerados pela Lógica Clássica como a expressão "Se a Lua é de queijo, então as serpentes voam", que admite uma valoração verdadeira, mesmo que a Lua seja irrelevante para o fato das serpentes voarem. Nesse sentido, neste projeto de iniciação científica, propomos comparar o método axiomático com o método de tableaux analíticos e desenvolver uma lógica paraconsistente, a saber, a Lógica da Relevância, em um sistema de tableaux analíticos. (AU)