Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/19204

TitleO teorema da normalização para lógica de primeira ordem
Author(s)Correia, Jorge Manuel Martins
Advisor(s)Espírito Santo, José
Pinto, Luís F.
Issue date2009
Abstract(s)Nesta dissertação apresentamos um estudo sobre a Dedução Natural, cujo objectivo principal é a demonstração do Teorema da Normalização, quer para a Lógica Clássica, quer para a Lógica Intuicionista. Apresentamos também alguns dos corolários e aplicações imediatas do Teorema da Normalização, em particular algumas das propriedades mais características da Lógica Intuicionista, como o teorema da separação, a propriedade da disjunção e a propriedade do quantificador existencial. O processo de normalização usa operações de substituição, em derivações, de variáveis por termos e de hipóteses por derivações. Associadas a estas operações estão condições de substituibilidade, que garantem que as condições de aplicabilidade das regras de inferência dos quantificadores são satisfeitas. Esta tese contém um tratamento rigoroso destas questões.
In this dissertation we present a study of Natural Deduction, whose main goal is to prove the Normalization Theorem, both for Classic Logic and Intuitionistic Logic. We also present some of the corollaries and immediate applications of the Normalization Theorem, in particular some of the most characteristic properties of Intuitionistic Logic, like the separation theorem, the disjunction property, and the existential quantifier property. The normalization process makes use of the operations of substitution, in derivations, of terms for variables and of derivations for hypotheses. There are substitutivity conditions associated with those operations, which guarantee the satisfaction of the side conditions of quantifiers' inference rules. This thesis contains a rigorous treatment of these matters.
TypeMaster thesis
DescriptionDissertação de mestrado em Matemática (área de especialização em Ensino)
URIhttp://hdl.handle.net/1822/19204
AccessOpen access
Appears in Collections:BUM - Dissertações de Mestrado
DMAT - Dissertações de Mestrado

Files in This Item:
File Description SizeFormat 
tese.pdf644,68 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID