A lógica proposicional do 'quase sempre' em Tableaux

• Processo: 12/00284-6
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de fevereiro de 2012
• Data de Término da vigência: 31 de janeiro de 2013
• Área de conhecimento: Ciências Exatas e da Terra - Matemática
• Pesquisador responsável: Hércules de Araújo Feitosa
• Beneficiário: Felipe Augusto Aureliano
• Instituição Sede: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brasil
• Assunto(s): Lógica matemática Lógicas não clássicas Método dos Tableaux
• Palavra(s)-Chave do Pesquisador: Lógica | Lógicas não clássicas | modelos algébricos | Tablôs | Lógica e Fundamentos da Matemática

Resumo

Em sua dissertação de mestrado intitulada "Sobre quantificadores: uma formalização do quantificador 'quase sempre'", Rodrigues (2011) introduz uma lógica para tratar do conceito de 'quase sempre', assim como feito na Lógica do Ultrafiltro. A Lógica do Ultrafiltro foi desenvolvida por Sette, Carnielli e Veloso (1999) com o intuito de capturar formalmente as noções de 'quase sempre' ou 'quase todos', através do acréscimo de um quantificador generalizado na linguagem clássica de primeira ordem. O objetivo central deste trabalho é estudar a lógica proposicional do 'quase sempre', introduzida por Rodrigues (2011) e denotada por L(<), sob o ponto de vista da lógica modal e dos tableaux. Para tanto precisaremos entender os métodos dos tableaux e também a abordagem algébrica em que a lógica L(<) foi apresentada. A seguir, pretendemos demonstrar a equivalência dedutiva entre a lógica proposicional do 'quase sempre' na versão axiomática em que foi introduzida e na versão em tableaux que deverá ser apresentada neste trabalho. (AU)