Abstract
This paper summarizes and elaborates on some of the results in [14]. The summary consists of a short version of the derivation of the intuitionistic quantum logic LQM (which was originally introduced in [6]). The elaboration consists of extending this logic to a classical logic CLQM. Some first steps are then taken towards setting up a probabilistic framework based on CLQM in terms of Rényi's conditional probability spaces. Comparisons are then made with the traditional framework for quantum probabilities.
Original language | English |
---|---|
Pages (from-to) | 53-64 |
Number of pages | 12 |
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 158 |
DOIs | |
Publication status | Published - 1 Jan 2014 |
Externally published | Yes |
Event | 9th Workshop on Quantum Physics and Logic, QPL 2012 - Brussels, Belgium Duration: 10 Oct 2012 → 12 Oct 2012 |