[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION

• Ano de defesa: 2004
• Autor(a) principal: CHRISTIAN JACQUES RENTERIA
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: MAXWELL
• Palavras-chave em Português: [pt] TEORIA DA PROVA; [pt] KEISLER; [pt] ULTRAFILTROS; [pt] QUANTIFICADORES; [pt] ROTULO; [pt] NORMALIZACAO; [pt] DEDUCAO NATURAL; [pt] LOGICA; [en] PROOF THEORY; [en] FILTER; [en] KEISLER; [en] ULTRAFILTER; [en] QUANTIFIERS; [en] LABEL; [en] NORMALIZATION; [en] NATURAL DEDUCTION; [en] LOGIC
• Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508&idi=1; https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508&idi=2; http://doi.org/10.17771/PUCRio.acad.5508

[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.