Partial classical propositional logic

Detalhes bibliográficos
Autor(a) principal: Martins, Hugo Morais
Data de Publicação: 2024
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/92311
Resumo: Dissertação de mestrado em Mathematics and Computation
id RCAP_3c6882bc0956991eff717049d0ec94e9
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/92311
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 Partial classical propositional logicPartial classical propositional logicPartial algebrasPartial Boolean algebrasQuantum logicLógica clássica proposicional parcialÁlgebras parciaisÁlgebras Booleanas parciaisLógica quânticaCiências Naturais::MatemáticasDissertação de mestrado em Mathematics and ComputationKochen and Specker developed in the 1960s an alternative to Birkhoff and von Neumann’s quantum logic based on partial Boolean algebras, called partial classical propositional logic, which has been recently revisited in studies of contextuality. Unlike more common quantum logics, in the language of the logic studied here, a new symbol is added to express a relation of commeasurability or compatibility. Seman tically, the binary connectives are partial functions, with the logical value of a connective defined only for compatible propositions. This dissertation explores partial algebras, partial Boolean algebras and the concept of validity that they originate, comparing the notions of validity in this logic with those in classical propositional logic. The logical calculus of Kochen and Specker, which axiomatizes validity in partial classical propositional logic, is also studied. The theorems of soundness and completeness are proven, establishing an equivalence between both ways of characterizing the validity of this logic.Kochen e Specker desenvolveram nos anos 60 uma alternativa à lógica quântica de Birkhoff e von Neu mann baseada em álgebras Booleanas parciais, a lógica clássica proposicional parcial, recentemente re visitada em estudos de contextualidade. Contrariamente às lógicas quânticas mais comuns, à linguagem da lógica aqui estudada adiciona-se um novo símbolo, para exprimir uma relação de comensurabilidade ou compatibilidade. A nível semântico, os conetivos binários são funções parciais, estando o valor lógico de um conetivo definido apenas para proposições compatíveis. Nesta dissertação estudam-se as álgebras parciais, as álgebras Booleanas parciais e a noção de vali dade que originam e comparam-se as noções de validade desta lógica com a noção de validade da lógica clássica proposicional. Estuda-se também o cálculo lógico de Kochen e Specker que axiomatiza a validade na lógica clássica proposicional parcial. Demonstram-se os teoremas da correção e da completude, o que estabelece uma equivalência entre ambas as formas de caracterizar a validade desta lógica.To Centro de Matemática (CMAT) of University of Minho and to the Fundação Portuguesa para a Ciência e Tecnologia (FCT), I express my gratitude for the funding of this dissertation through the CMAT Research Scholarship - I&D UIDB/00013/2020.Espírito Santo, JoséUniversidade do MinhoMartins, Hugo Morais2024-01-042024-01-04T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/92311eng203610253info: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:RCAAP2024-07-06T01:22:25Zoai:repositorium.sdum.uminho.pt:1822/92311Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-07-06T01:22:25Repositó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 Partial classical propositional logic
title Partial classical propositional logic
spellingShingle Partial classical propositional logic
Martins, Hugo Morais
Partial classical propositional logic
Partial algebras
Partial Boolean algebras
Quantum logic
Lógica clássica proposicional parcial
Álgebras parciais
Álgebras Booleanas parciais
Lógica quântica
Ciências Naturais::Matemáticas
title_short Partial classical propositional logic
title_full Partial classical propositional logic
title_fullStr Partial classical propositional logic
title_full_unstemmed Partial classical propositional logic
title_sort Partial classical propositional logic
author Martins, Hugo Morais
author_facet Martins, Hugo Morais
author_role author
dc.contributor.none.fl_str_mv Espírito Santo, José
Universidade do Minho
dc.contributor.author.fl_str_mv Martins, Hugo Morais
dc.subject.por.fl_str_mv Partial classical propositional logic
Partial algebras
Partial Boolean algebras
Quantum logic
Lógica clássica proposicional parcial
Álgebras parciais
Álgebras Booleanas parciais
Lógica quântica
Ciências Naturais::Matemáticas
topic Partial classical propositional logic
Partial algebras
Partial Boolean algebras
Quantum logic
Lógica clássica proposicional parcial
Álgebras parciais
Álgebras Booleanas parciais
Lógica quântica
Ciências Naturais::Matemáticas
description Dissertação de mestrado em Mathematics and Computation
publishDate 2024
dc.date.none.fl_str_mv 2024-01-04
2024-01-04T00: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/92311
url https://hdl.handle.net/1822/92311
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 203610253
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 mluisa.alvim@gmail.com
_version_ 1817546234412400640

Registros relacionados