Speakable in quantum mechanics: babbling on
Logic in Computer Science
2014-08-10 v1 Quantum Physics
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\'enyi's conditional probability spaces. Comparisons are then made with the traditional framework for quantum probabilities.
Cite
@article{arxiv.1408.0052,
title = {Speakable in quantum mechanics: babbling on},
author = {Ronnie Hermens},
journal= {arXiv preprint arXiv:1408.0052},
year = {2014}
}
Comments
In Proceedings QPL 2012, arXiv:1407.8427