PhilSci Archive

On the connection between the categorical and the modal logic approaches to Quantum Mechanics

Cinà, Giovanni (2013) On the connection between the categorical and the modal logic approaches to Quantum Mechanics. ILLC.

[img]
Preview
PDF (Masters Thesis)
versione_completa_draft.pdf - Draft Version

Download (736kB)

Abstract

This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps. First we define a procedure to extract a Modal Logic frame
from a small category and a functor into the category of sets and relations.
Second, we extend such methodology to locally small categories. Third, we apply it to the category of finite-dimensional Hilbert spaces to recover the
semantics of Dynamic Quantum Logic.
This process prompts new lines of research. At a general level, we study some logics arising from wide classes of small categories. In the case of Hilbert spaces, we investigate how to obtain richer semantics, containing
probabilistic information. We design a logic for this semantics and prove that, via translation, it preserves the validities of Dynamic Quantum Logic.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Other
Creators:
CreatorsEmailORCID
Cinà, Giovanni
Additional Information: Master Thesis, ILLC
Keywords: Quantum Mechanics, Category Theory, Modal Logic
Subjects: Specific Sciences > Computation/Information > Quantum
Specific Sciences > Mathematics
Specific Sciences > Physics > Quantum Mechanics
Depositing User: Mr Giovanni Cinà
Date Deposited: 30 Jul 2013 07:12
Last Modified: 30 Jul 2013 07:15
Item ID: 9908
Publisher: ILLC
Subjects: Specific Sciences > Computation/Information > Quantum
Specific Sciences > Mathematics
Specific Sciences > Physics > Quantum Mechanics
Date: 2013
URI: https://philsci-archive.pitt.edu/id/eprint/9908

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item