Detalhes bibliográficos
| Ano de defesa: |
2021 |
| Autor(a) principal: |
Rodrigues, Douglas Alexandre [UNESP] |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Universidade Estadual Paulista (Unesp)
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://hdl.handle.net/11449/204567
|
Resumo: |
O objetivo central desta pesquisa é desenvolver um método dedutivo alternativo para a Lógica da Verdade Pragmática (Logic of Pragmatic Truth - LPT) em cálculo de sequentes. Neste sentido, apresentaremos inicialmente o sistema de Hilbert para o cálculo proposicional clássico e sua equivalência com os sequentes deste cálculo. Após mostrarmos a equivalência dedutiva dos dois sistemas clássicos, revisitaremos uma versão do sistema de tablôs para LPT e suas respectivas regras de expansão. Por fim, introduzimos as regras dos sequentes duais para a lógica da verdade pragmática, obtendo uma tradução entre as regras de expansão dos tablôs da LPT e seus respectivos sequentes. |
