XINFORMAÇÕES SOBRE DIREITOS AUTORAIS
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL Autor: CHRISTIAN JACQUES RENTERIA
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):
EDWARD HERMANN HAEUSLER - ORIENTADOR
Nº do Conteudo: 5508
Catalogação: 23/09/2004 Liberação: 23/09/2004 Idioma(s): PORTUGUÊS - BRASIL
Tipo: TEXTO Subtipo: TESE
Natureza: PUBLICAÇÃO ACADÊMICA
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
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
Resumo:
Título: UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL Autor: CHRISTIAN JACQUES RENTERIA
Nº do Conteudo: 5508
Catalogação: 23/09/2004 Liberação: 23/09/2004 Idioma(s): PORTUGUÊS - BRASIL
Tipo: TEXTO Subtipo: TESE
Natureza: PUBLICAÇÃO ACADÊMICA
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
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
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.
