Sistemas dedutivos para Lógica Quântica Minimal
Autor(a) principal: | |
---|---|
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 |