A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION

Detalhes bibliográficos
Autor(a) principal: CHRISTIAN JACQUES RENTERIA
Data de Publicação: 2004
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da PUC-RIO (Projeto Maxwell)
Texto Completo: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@2
Resumo: Existem diferentes estilos de cálculos dedutivos, usados para derivar os teoremas de uma lógica. Os mais habituais são os sistemas axiomáticos; mas, do ponto de vista da teoria da prova, os sistemas em dedução natural parecem ser mais interessantes. Essa é a motivação que leva ao desenvolvimento de técnicas que visam a facilitar a transformação de um cálculo dedutivo para o estilo em dedução natural. Esse trabalho se concentra no aspecto de modelar regras para os quantificadores da linguagem considerada e, para isso, faz uso de rótulos. Após uma apresentação intuitiva da técnica desenvolvida, passa-se à exposição de sistemas lógicos tratados pelo método: lógica de ultrafiltros, lógica de filtros, CTL, lógica de Keisler e CTL*. Em cada caso, analisam-se aspectos de teoria da prova.
id PUC_RIO-1_df33540f097b2069dca4cfaca4e2527f
oai_identifier_str oai:MAXWELL.puc-rio.br:5508
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str 534
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisA GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL 2004-04-05EDWARD HERMANN HAEUSLER24815438153lattes.cnpq.br/6075905438020841EDWARD HERMANN HAEUSLERLUIZ CARLOS PINHEIRO DIAS PEREIRAMARIO ROBERTO F BENEVIDESPAULO AUGUSTO SILVA VELOSOMARCELO DA SILVA CORREACHRISTIAN JACQUES RENTERIA PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPPG EM INFORMÁTICAPUC-RioBRExistem diferentes estilos de cálculos dedutivos, usados para derivar os teoremas de uma lógica. Os mais habituais são os sistemas axiomáticos; mas, do ponto de vista da teoria da prova, os sistemas em dedução natural parecem ser mais interessantes. Essa é a motivação que leva ao desenvolvimento de técnicas que visam a facilitar a transformação de um cálculo dedutivo para o estilo em dedução natural. Esse trabalho se concentra no aspecto de modelar regras para os quantificadores da linguagem considerada e, para isso, faz uso de rótulos. Após uma apresentação intuitiva da técnica desenvolvida, passa-se à exposição de sistemas lógicos tratados pelo método: lógica de ultrafiltros, lógica de filtros, CTL, lógica de Keisler e CTL*. Em cada caso, analisam-se aspectos de teoria da prova.There are many kinds of deductive calculus. The axiomatic ones are the more usual. However, from the point of view of proof theory, Natural Deduction systems seem to be more interesting. This is the motivation for developping a technique that aims to ease the transformation from deductive calculus to Natural Deduction style. This work concentrates on the aspect of modeling the rules for the quantifiers of the logic considered, and for this purpose labels are used. After an intuitive presentation of the technique developped, some logical systems are treated by the method: ultrafilter logic, filter logic, CTL, Keisler`s logic and CTL*. For each one of them proof-theoretical aspects are analysed.CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICOhttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@2porreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2022-11-01T12:40:40Zoai:MAXWELL.puc-rio.br:5508Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342017-09-14T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.en.fl_str_mv A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
dc.title.alternative.pt.fl_str_mv UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
title A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
spellingShingle A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
CHRISTIAN JACQUES RENTERIA
title_short A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
title_full A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
title_fullStr A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
title_full_unstemmed A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
title_sort A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
dc.creator.ID.none.fl_str_mv
dc.creator.Lattes.none.fl_str_mv
author CHRISTIAN JACQUES RENTERIA
author_facet CHRISTIAN JACQUES RENTERIA
author_role author
dc.contributor.advisor1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.advisor1ID.fl_str_mv 24815438153
dc.contributor.advisor1Lattes.fl_str_mv lattes.cnpq.br/6075905438020841
dc.contributor.referee1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.referee2.fl_str_mv LUIZ CARLOS PINHEIRO DIAS PEREIRA
dc.contributor.referee3.fl_str_mv MARIO ROBERTO F BENEVIDES
dc.contributor.referee4.fl_str_mv PAULO AUGUSTO SILVA VELOSO
dc.contributor.referee5.fl_str_mv MARCELO DA SILVA CORREA
dc.contributor.author.fl_str_mv CHRISTIAN JACQUES RENTERIA
contributor_str_mv EDWARD HERMANN HAEUSLER
EDWARD HERMANN HAEUSLER
LUIZ CARLOS PINHEIRO DIAS PEREIRA
MARIO ROBERTO F BENEVIDES
PAULO AUGUSTO SILVA VELOSO
MARCELO DA SILVA CORREA
description Existem diferentes estilos de cálculos dedutivos, usados para derivar os teoremas de uma lógica. Os mais habituais são os sistemas axiomáticos; mas, do ponto de vista da teoria da prova, os sistemas em dedução natural parecem ser mais interessantes. Essa é a motivação que leva ao desenvolvimento de técnicas que visam a facilitar a transformação de um cálculo dedutivo para o estilo em dedução natural. Esse trabalho se concentra no aspecto de modelar regras para os quantificadores da linguagem considerada e, para isso, faz uso de rótulos. Após uma apresentação intuitiva da técnica desenvolvida, passa-se à exposição de sistemas lógicos tratados pelo método: lógica de ultrafiltros, lógica de filtros, CTL, lógica de Keisler e CTL*. Em cada caso, analisam-se aspectos de teoria da prova.
publishDate 2004
dc.date.issued.fl_str_mv 2004-04-05
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@2
url https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@2
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
dc.publisher.program.fl_str_mv PPG EM INFORMÁTICA
dc.publisher.initials.fl_str_mv PUC-Rio
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1748324881253007360

Registros relacionados