Abstract
In the paper, a value assignment for projection operators relating to a quantum system is equated with assignment of truth values to the propositions associated with these operators. In consequence, the Kochen–Specker theorem (its localized variant, to be exact) can be treated as the statement that a logic of those projection operators does not obey the principle of bivalence. This implies that such a logic has a gappy (partial) semantics or many-valued semantics.
Original language | English |
---|---|
Pages (from-to) | 151-159 |
Number of pages | 9 |
Journal | Quantum Studies: Mathematics and Foundations |
Volume | 6 |
Issue number | 2 |
DOIs | |
State | Published - 1 Jun 2019 |
Keywords
- Contextuality
- Kochen–Specker theorem
- Many-valued semantics
- Partial semantics
- Quantum mechanics
- Truth values
ASJC Scopus subject areas
- Atomic and Molecular Physics, and Optics
- Mathematical Physics