A adequação do sistema de Tableaux TLҠ

Resumo

No presente trabalho, utilizamos o sistema de tableaux analíticos TLҠ, introduzido em [5], o qual foi construído como um sistema dedutivo alternativo à Lógica do Poucos, apresentado por Oliveira em 2011. Esta lógica, ao propor uma formalização para o quantificador „poucos‟ da linguagem natural, é construída inspirada em um sistema axiomático modulado, segundo o qual a noção de „muitos‟ é internalizada em nível da linguagem objeto. Desse modo, estabeleceremos a adequação do sistema TLҠ, ou seja, demonstraremos a correção e completude desse novo sistema em relação à Lógica do Poucos.