
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.
Intuitionistic logic, Quantum Physics, Weakly Heyting algebras, FOS: Physical sciences, Quantum Physics (quant-ph), Quantum logic
Intuitionistic logic, Quantum Physics, Weakly Heyting algebras, FOS: Physical sciences, Quantum Physics (quant-ph), Quantum logic
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
