Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/92311
Título: | Partial classical propositional logic |
Autor(es): | Martins, Hugo Morais |
Orientador(es): | Espírito Santo, José |
Palavras-chave: | 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 |
Data: | 4-Jan-2024 |
Resumo(s): | 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. 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. |
Tipo: | Dissertação de mestrado |
Descrição: | Dissertação de mestrado em Mathematics and Computation |
URI: | https://hdl.handle.net/1822/92311 |
Acesso: | Acesso aberto |
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