MoL-2013-05: On the connection between the categorical and the modal logic approaches to Quantum Mechanics

MoL-2013-05: Cinà, Giovanni (2013) On the connection between the categorical and the modal logic approaches to Quantum Mechanics. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
MoL-2013-05.text.pdf

Download (747kB) | Preview
[thumbnail of Abstract] Text (Abstract)
MoL-2013-05.abstract.txt

Download (987B)

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.

Item Type: Report
Report Nr: MoL-2013-05
Series Name: Master of Logic Thesis (MoL) Series
Year: 2013
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/894

Actions (login required)

View Item View Item