Speakable in quantum mechanics: babbling on

2014/08/01 by Ronnie Hermens
Computer Science · Physics and Astronomy · #cs.LO #quant-ph

paper · pdf · doi:10.4204/eptcs.158.5

published as EPTCS 158, 2014, pp. 53-64 · In Proceedings QPL 2012, arXiv:1407.8427

arxiv created 2014/08/01 · arxiv updated 2014/08/10

Abstract

This paper consists of a short version of the derivation of the intuitionistic quantum logic L_QM (which was originally introduced by Caspers, Heunen, Landsman and Spitters). The elaboration consists of extending this logic to a classical logic CL_QM. Some first steps are then taken towards setting up a probabilistic framework based on CL_QM in terms of Rényi's conditional probability spaces. Comparisons are then made with the traditional framework for quantum probabilities.

Citations

• Proceedings 9th Workshop on Quantum Physics and Logic