A adequação do sistema de Tableaux TLҠ

Helen G. da Silva, Luiz Henrique da C. Silvestrini

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.


Palavras-chave


Lógicas Moduladas, Tableaux Analíticos.

Texto completo:

PDF


DOI: https://doi.org/10.5540/03.2015.003.01.0112

Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato