A Weakly Intuitionistic Quantum Logic
Quantum Physics
2012-11-22 v2
Abstract
In this paper we motivate and study the possibility of an intuitionistic quantum logic. An explicit investigation of the application of the theory of Bruns and Lakser on distributive hulls on traditional quantum logic (as suggested in [Coe]) leads us to a small modification of this scheme. In this way we obtain a weak Heyting algebra (cf. [CJ]) for describing the language of quantum mechanics.
Keywords
Cite
@article{arxiv.1009.2438,
title = {A Weakly Intuitionistic Quantum Logic},
author = {Ronnie Hermens},
journal= {arXiv preprint arXiv:1009.2438},
year = {2012}
}