Sobre a lógica da verdade pragmática em cálculo de sequentes
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...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2021 |
| País: | Brasil |
| Institución: | Universidade Estadual Paulista (UNESP) |
| Repositorio: | Repositório Institucional da UNESP |
| Idioma: | portugués |
| OAI Identifier: | oai:repositorio.unesp.br:11449/204567 |
| Acceso en línea: | http://hdl.handle.net/11449/204567 |
| Access Level: | acceso abierto |
| Palabra clave: | Cálculo de sequentes Lógica proposicional paraconsistente Quase-verdade Sequent calculus Paraconsistent propositional logic Quasi-truth |
| Sumario: | 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. |
|---|