scientific article
From MaRDI portal
Publication:3912579
zbMath0463.03038MaRDI QIDQ3912579
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hilbert space modelaxioms for events and states of a physical systemconstructive non-commutative integration theory
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Other constructive mathematics (03F65)
Related Items
Gleason's theorem is not constructively provable, Constructive mathematics and unbounded operators -- a reply to Hellman, Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem