Sistemas dedutivos para Lógica Quântica Minimal

Detalhes bibliográficos
Autor(a) principal: Sousa, Ana Catarina Lopes Carvalho
Data de Publicação: 2022
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: https://hdl.handle.net/1822/81283
Resumo: Dissertação de mestrado em Matemática
id RCAP_1879112986205eabd24c96dc931ca6c1
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/81283
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 Sistemas dedutivos para Lógica Quântica MinimalDeductive systems for Minimal Quantum LogicSistemas dedutivosLógica Quântica MinimalDedução naturalCálculo de sequentesDeductive systemsMinimal Quantum LogicNatural deductionSequent calculusCiências Naturais::MatemáticasDissertação de mestrado em MatemáticaA definição de uma lógica pode ser feita de duas formas distintas: semântica ou dedutivamente. No primeiro caso, bastar-nos-á determinar a estrutura algébrica associada a essa lógica para que esta fique univocamente definida. No segundo caso, a abordagem não é tão simples, já que podemos definir mais do que um sistema dedutivo para a mesma lógica. A equivalência entre estas duas abordagens é garantida pelos Teoremas da Correção e da Comple tude. Já a equivalência entre os vários sistemas dedutivos pode ser obtida pela tradução entre os seus conjuntos de derivações ou, alternativamente, demonstrando que cada um deles é correto e completo. Assim, independentemente de se optar por uma definição semântica ou dedutiva, é garantido que se está a definir a mesma lógica. Nesta dissertação, caraterizamos a Lógica Quântica Minimal, através da semântica algébrica dos ortor reticulados e dos seus sistemas dedutivos Dedução Natural (Quântica) e Cálculo de Sequentes (Quântico). Provamos a Correção e Completude da Dedução Natural (Quântica) e determinamos a equivalência de demonstrabilidade entre os dois sistemas dedutivos, através de traduções entre as suas derivações. No sentido de tornar a exposição mais acessível, partimos de um contexto mais familiar, a Lógica Clássica, para o qual determinamos a equivalência de demonstrabilidade entre dois dos seus sistemas dedutivos: a Dedução Natural (Clássica) e o Cálculo de Sequentes (Clássico). Fazemos ainda uma breve comparação entre ambas as lógicas, evidenciando as suas diferenças através de exemplos.The definition of a logic can be obtained in two distinct ways: semantically or deductively. In the first case, it will be sufficient to determine the algebraic structure associated with this logic for it to be univocally defined. In the second case, the approach is not that simple, as we can define more than one deductive system for the same logic. The equivalence between these two approaches is guaranteed by the Soundness and Completeness Theorems. The equivalence between the different deductive systems can be obtained by the translation between their sets of derivations or by demonstrating that each one of them is correct and complete. Thus, regardless of whether one chooses a semantic or deductive definition, it is guaranteed that is defining the same logic. In this dissertation, we characterize Minimal Quantum Logic through the algebraic semantics of ortholattices and its deductive systems (Quantum) Natural Deduction and (Quantum) Sequent Calculus. We prove the Soundness and Completeness of (Quantum) Natural Deduction and determine the equivalence of demonstrability between the two deductive systems, through the translations between their derivations. To make it clearer, we start from a more familiar context, the Classical Logic, for which we determined the equivalence of demonstrability between two of its deductive systems: (Classic) Natural Deduction and (Classic) Sequent Calculus. We also make a brief comparison between both logics, highlighting their differences through examples.Espírito Santo, JoséUniversidade do MinhoSousa, Ana Catarina Lopes Carvalho2022-01-252022-01-25T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/81283por203052862info: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:28:20Zoai:repositorium.sdum.uminho.pt:1822/81283Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:23:07.367967Repositó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 Sistemas dedutivos para Lógica Quântica Minimal
Deductive systems for Minimal Quantum Logic
title Sistemas dedutivos para Lógica Quântica Minimal
spellingShingle Sistemas dedutivos para Lógica Quântica Minimal
Sousa, Ana Catarina Lopes Carvalho
Sistemas dedutivos
Lógica Quântica Minimal
Dedução natural
Cálculo de sequentes
Deductive systems
Minimal Quantum Logic
Natural deduction
Sequent calculus
Ciências Naturais::Matemáticas
title_short Sistemas dedutivos para Lógica Quântica Minimal
title_full Sistemas dedutivos para Lógica Quântica Minimal
title_fullStr Sistemas dedutivos para Lógica Quântica Minimal
title_full_unstemmed Sistemas dedutivos para Lógica Quântica Minimal
title_sort Sistemas dedutivos para Lógica Quântica Minimal
author Sousa, Ana Catarina Lopes Carvalho
author_facet Sousa, Ana Catarina Lopes Carvalho
author_role author
dc.contributor.none.fl_str_mv Espírito Santo, José
Universidade do Minho
dc.contributor.author.fl_str_mv Sousa, Ana Catarina Lopes Carvalho
dc.subject.por.fl_str_mv Sistemas dedutivos
Lógica Quântica Minimal
Dedução natural
Cálculo de sequentes
Deductive systems
Minimal Quantum Logic
Natural deduction
Sequent calculus
Ciências Naturais::Matemáticas
topic Sistemas dedutivos
Lógica Quântica Minimal
Dedução natural
Cálculo de sequentes
Deductive systems
Minimal Quantum Logic
Natural deduction
Sequent calculus
Ciências Naturais::Matemáticas
description Dissertação de mestrado em Matemática
publishDate 2022
dc.date.none.fl_str_mv 2022-01-25
2022-01-25T00: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 https://hdl.handle.net/1822/81283
url https://hdl.handle.net/1822/81283
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 203052862
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_ 1799132705499119616

Registros relacionados