Deductive Tableaux

Detalhes bibliográficos
Autor(a) principal: Coggiola, André Rodrigo Ferreira
Data de Publicação: 2021
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: 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.
id USP_227309b4aeea2f9df9514fd199cb2d3b
oai_identifier_str oai:teses.usp.br:tde-17102022-155759
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Deductive TableauxTableaux DedutivosDeduçãoDeductionLogicLógicaTableauxTableauxThe 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.O presente estudo tem por objetivo a formalização de um cálculo dedutivo para a lógica clássica baseado em tableaux. São apresentados os cálculos DT, para a lógica proposicional, e QDT, para a lógica de predicados. Uma possível formalização de um cálculo intuicionista nos mesmos moldes é conjecturada. Esses cálculos derivam de uma reformulação do Cálculo de Dados de Roderick Batchelor, que é brevemente apresentado no início.Biblioteca Digitais de Teses e Dissertações da USPSilva, Rodrigo Bacellar da Costa eCoggiola, André Rodrigo Ferreira2021-09-10info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/8/8133/tde-17102022-155759/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesseng2022-10-17T18:10:35Zoai:teses.usp.br:tde-17102022-155759Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212022-10-17T18:10:35Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Deductive Tableaux
Tableaux Dedutivos
title Deductive Tableaux
spellingShingle Deductive Tableaux
Coggiola, André Rodrigo Ferreira
Dedução
Deduction
Logic
Lógica
Tableaux
Tableaux
title_short Deductive Tableaux
title_full Deductive Tableaux
title_fullStr Deductive Tableaux
title_full_unstemmed Deductive Tableaux
title_sort Deductive Tableaux
author Coggiola, André Rodrigo Ferreira
author_facet Coggiola, André Rodrigo Ferreira
author_role author
dc.contributor.none.fl_str_mv Silva, Rodrigo Bacellar da Costa e
dc.contributor.author.fl_str_mv Coggiola, André Rodrigo Ferreira
dc.subject.por.fl_str_mv Dedução
Deduction
Logic
Lógica
Tableaux
Tableaux
topic Dedução
Deduction
Logic
Lógica
Tableaux
Tableaux
description 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.
publishDate 2021
dc.date.none.fl_str_mv 2021-09-10
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/8/8133/tde-17102022-155759/
url https://www.teses.usp.br/teses/disponiveis/8/8133/tde-17102022-155759/
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090813093740544

Registros relacionados