Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/92311
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.advisor | Espírito Santo, José | por |
dc.contributor.author | Martins, Hugo Morais | por |
dc.date.accessioned | 2024-07-05T15:46:56Z | - |
dc.date.available | 2024-07-05T15:46:56Z | - |
dc.date.issued | 2024-01-04 | - |
dc.date.submitted | 2023-10 | - |
dc.identifier.uri | https://hdl.handle.net/1822/92311 | - |
dc.description | Dissertação de mestrado em Mathematics and Computation | por |
dc.description.abstract | Kochen 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. | por |
dc.description.abstract | 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. | por |
dc.description.sponsorship | 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. | por |
dc.language.iso | eng | por |
dc.relation | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00013%2F2020/PT | por |
dc.rights | openAccess | por |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | por |
dc.subject | Partial classical propositional logic | por |
dc.subject | Partial algebras | por |
dc.subject | Partial Boolean algebras | por |
dc.subject | Quantum logic | por |
dc.subject | Lógica clássica proposicional parcial | por |
dc.subject | Álgebras parciais | por |
dc.subject | Álgebras Booleanas parciais | por |
dc.subject | Lógica quântica | por |
dc.title | Partial classical propositional logic | por |
dc.type | masterThesis | eng |
dc.identifier.tid | 203610253 | por |
thesis.degree.grantor | Universidade do Minho | por |
sdum.degree.grade | 18 valores | por |
sdum.uoei | Escola de Ciências | por |
dc.subject.fos | Ciências Naturais::Matemáticas | por |
Aparece nas coleções: | BUM - Dissertações de Mestrado DMAT - Dissertações de Mestrado |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Hugo Morais Martins.pdf | Dissertação de mestrado | 499,03 kB | Adobe PDF | Ver/Abrir |
Este trabalho está licenciado sob uma Licença Creative Commons