[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION

CHRISTIAN JACQUES RENTERIA

[pt] UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL

dc.contributor	EDWARD HERMANN HAEUSLER
dc.creator	CHRISTIAN JACQUES RENTERIA
dc.date	2004-09-23
dc.date.accessioned	2022-09-21T21:44:07Z
dc.date.available	2022-09-21T21:44:07Z
dc.identifier	https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@1
dc.identifier	https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5508@2
dc.identifier	http://doi.org/10.17771/PUCRio.acad.5508
dc.identifier.uri	https://hdl.handle.net/20.500.12032/42904
dc.description	[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.
dc.description	[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.
dc.language	pt
dc.publisher	MAXWELL
dc.subject	[pt] TEORIA DA PROVA
dc.subject	[pt] KEISLER
dc.subject	[pt] ULTRAFILTROS
dc.subject	[pt] QUANTIFICADORES
dc.subject	[pt] ROTULO
dc.subject	[pt] NORMALIZACAO
dc.subject	[pt] DEDUCAO NATURAL
dc.subject	[pt] LOGICA
dc.subject	[en] PROOF THEORY
dc.subject	[en] FILTER
dc.subject	[en] KEISLER
dc.subject	[en] ULTRAFILTER
dc.subject	[en] QUANTIFIERS
dc.subject	[en] LABEL
dc.subject	[en] NORMALIZATION
dc.subject	[en] NATURAL DEDUCTION
dc.subject	[en] LOGIC
dc.title	[en] A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
dc.title	[pt] UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
dc.type	TEXTO

Files in this item

Files	Size	Format	View
There are no files associated with this item.

This item appears in the following Collection(s)

Documentos - PUC-RIO

Show simple item record