English

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

R2 v1 2026-06-22T05:18:05.077Z