Busca avançada
Ano de início
Entree

O método de Tableaux aplicado a uma lógica quase-modulada para o quantificador "poucos"

Processo: 12/10272-5
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de julho de 2012
Vigência (Término): 31 de janeiro de 2013
Área do conhecimento:Ciências Exatas e da Terra - Matemática
Pesquisador responsável:Luiz Henrique da Cruz Silvestrini
Beneficiário:Helen Gomes da Silva
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ó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 estes 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 moduladas, que são obtidas a partir de lógicas de primeira ordem clássicas com o acréscimo de um quantificador generalizado na sua linguagem, regido por um conjunto específico de axiomas. Estes quantificadores generalizados são denominados de quantificadores modulados e capturam noções de 'muitos', 'a maioria' e 'quase em toda a parte', por exemplo. Em 2011, Oliveira introduziu a Lógica do Poucos, inspirado em uma dualização para uma lógica modulada que formaliza o quantificador 'muitos' da linguagem natural. 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 de primeira ordem não-clássica, a saber, a Lógica do Pouco, em um sistema de Tableaux analíticos. (AU)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.