Detalhes bibliográficos
| Ano de defesa: |
2021 |
| Autor(a) principal: |
Coggiola, André Rodrigo Ferreira |
| 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: |
eng |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| 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: |
https://www.teses.usp.br/teses/disponiveis/8/8133/tde-17102022-155759/
|
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. |
