Deductive Tableaux

Detalhes bibliográficos
Autor(a) principal: André Rodrigo Ferreira Coggiola
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://doi.org/10.11606/D.8.2021.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 info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis Deductive Tableaux Tableaux Dedutivos 2021-09-10Rodrigo Bacellar da Costa e SilvaPedro Alonso Amaral FalcãoRodrigo de Alvarenga FreireEdelcio Gonçalves de SouzaAndré Rodrigo Ferreira CoggiolaUniversidade de São PauloFilosofiaUSPBR Dedução Deduction Logic Lógica Tableaux 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 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. https://doi.org/10.11606/D.8.2021.tde-17102022-155759info:eu-repo/semantics/openAccessengreponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USP2023-12-21T19:14:53Zoai: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:27212023-12-22T12:49:27.461099Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.en.fl_str_mv Deductive Tableaux
dc.title.alternative.pt.fl_str_mv Tableaux Dedutivos
title Deductive Tableaux
spellingShingle Deductive Tableaux
André Rodrigo Ferreira Coggiola
title_short Deductive Tableaux
title_full Deductive Tableaux
title_fullStr Deductive Tableaux
title_full_unstemmed Deductive Tableaux
title_sort Deductive Tableaux
author André Rodrigo Ferreira Coggiola
author_facet André Rodrigo Ferreira Coggiola
author_role author
dc.contributor.advisor1.fl_str_mv Rodrigo Bacellar da Costa e Silva
dc.contributor.referee1.fl_str_mv Pedro Alonso Amaral Falcão
dc.contributor.referee2.fl_str_mv Rodrigo de Alvarenga Freire
dc.contributor.referee3.fl_str_mv Edelcio Gonçalves de Souza
dc.contributor.author.fl_str_mv André Rodrigo Ferreira Coggiola
contributor_str_mv Rodrigo Bacellar da Costa e Silva
Pedro Alonso Amaral Falcão
Rodrigo de Alvarenga Freire
Edelcio Gonçalves de Souza
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.issued.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://doi.org/10.11606/D.8.2021.tde-17102022-155759
url https://doi.org/10.11606/D.8.2021.tde-17102022-155759
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade de São Paulo
dc.publisher.program.fl_str_mv Filosofia
dc.publisher.initials.fl_str_mv USP
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade de São Paulo
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_ 1794502818575417345

Registros relacionados