Deductive Tableaux
The present study aims at a formalization of a deductive calculus for classical logic based on tableaux. The calculi DT, for propositional logic, and QDT, for predicate logic, are presented. A possible formaliation of an intuitionistic calculus on the same framework is conjectured. These calculi der...
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2021 |
| País: | Brasil |
| Recursos: | Universidade de São Paulo (USP) |
| Repositorio: | Biblioteca Digital de Teses e Dissertações da USP |
| Idioma: | inglés |
| OAI Identifier: | oai:teses.usp.br:tde-17102022-155759 |
| Acesso em linha: | https://www.teses.usp.br/teses/disponiveis/8/8133/tde-17102022-155759/ |
| Access Level: | acceso abierto |
| Palavra-chave: | Dedução Deduction Logic Lógica Tableaux |
| Resumo: | The present study aims at a formalization of a deductive calculus for classical logic based on tableaux. The calculi DT, for propositional logic, and QDT, for predicate logic, are presented. A possible formaliation of an intuitionistic calculus on the same framework is conjectured. These calculi derive from a reformulation of Roderick Batchelor\'s Data Calculi, which are briefly presented at the beginning. |
|---|