O teorema da normalização para lógica de primeira ordem
Autor(a) principal: | |
---|---|
Data de Publicação: | 2009 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/1822/19204 |
Resumo: | Dissertação de mestrado em Matemática (área de especialização em Ensino) |
id |
RCAP_4431212312c66077f0b2df7e68342813 |
---|---|
oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/19204 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
O teorema da normalização para lógica de primeira ordem510Dissertação de mestrado em Matemática (área de especialização em Ensino)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.Espírito Santo, JoséPinto, Luís F.Universidade do MinhoCorreia, Jorge Manuel Martins20092009-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/19204porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:25:42Zoai:repositorium.sdum.uminho.pt:1822/19204Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:20:00.678822Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
O teorema da normalização para lógica de primeira ordem |
title |
O teorema da normalização para lógica de primeira ordem |
spellingShingle |
O teorema da normalização para lógica de primeira ordem Correia, Jorge Manuel Martins 510 |
title_short |
O teorema da normalização para lógica de primeira ordem |
title_full |
O teorema da normalização para lógica de primeira ordem |
title_fullStr |
O teorema da normalização para lógica de primeira ordem |
title_full_unstemmed |
O teorema da normalização para lógica de primeira ordem |
title_sort |
O teorema da normalização para lógica de primeira ordem |
author |
Correia, Jorge Manuel Martins |
author_facet |
Correia, Jorge Manuel Martins |
author_role |
author |
dc.contributor.none.fl_str_mv |
Espírito Santo, José Pinto, Luís F. Universidade do Minho |
dc.contributor.author.fl_str_mv |
Correia, Jorge Manuel Martins |
dc.subject.por.fl_str_mv |
510 |
topic |
510 |
description |
Dissertação de mestrado em Matemática (área de especialização em Ensino) |
publishDate |
2009 |
dc.date.none.fl_str_mv |
2009 2009-01-01T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1822/19204 |
url |
http://hdl.handle.net/1822/19204 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799132661622505472 |