Título
[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
Título
[pt] UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
Autor
[pt] CHRISTIAN JACQUES RENTERIA
Vocabulário
[pt] TEORIA DA PROVA
Vocabulário
[pt] KEISLER
Vocabulário
[pt] ULTRAFILTROS
Vocabulário
[pt] QUANTIFICADORES
Vocabulário
[pt] ROTULO
Vocabulário
[pt] NORMALIZACAO
Vocabulário
[pt] DEDUCAO NATURAL
Vocabulário
[pt] LOGICA
Vocabulário
[en] PROOF THEORY
Vocabulário
[en] FILTER
Vocabulário
[en] KEISLER
Vocabulário
[en] ULTRAFILTER
Vocabulário
[en] QUANTIFIERS
Vocabulário
[en] LABEL
Vocabulário
[en] NORMALIZATION
Vocabulário
[en] NATURAL DEDUCTION
Vocabulário
[en] LOGIC
Resumo
[pt] 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.
Resumo
[en] 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.
Orientador(es)
EDWARD HERMANN HAEUSLER
Banca
EDWARD HERMANN HAEUSLER
Banca
LUIZ CARLOS PINHEIRO DIAS PEREIRA
Banca
MARIO ROBERTO F BENEVIDES
Banca
PAULO AUGUSTO SILVA VELOSO
Banca
ROBERTO LINS DE CARVALHO
Banca
RUY JOSE GUERRA BARRETO DE QUEIROZ
Banca
MARCELO DA SILVA CORREA
Catalogação
2004-09-23
Apresentação
2004-04-05
Tipo
[pt] TEXTO
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Idioma(s)
PORTUGUÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@2
Referência DOI
https://doi.org/10.17771/PUCRio.acad.5508
Arquivos do conteúdo
CAPA, AGRADECIMENTOS, RESUMO, ABSTRACT, SUMÁRIO E LISTAS PDF CAPÍTULO 1 PDF CAPÍTULO 2 PDF CAPÍTULO 3 PDF CAPÍTULO 4 PDF CAPÍTULO 5 PDF CAPÍTULO 6 PDF CAPÍTULO 7 PDF CAPÍTULO 8 PDF REFERÊNCIAS BIBLIOGRÁFICAS PDF