Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
gptkb:mathematical_concept |
| gptkbp:appliesTo |
quantum computation
quantum measurement |
| gptkbp:characteristic |
non-Boolean
non-distributive |
| gptkbp:contrastsWith |
gptkb:classical_logic
|
| gptkbp:describes |
logical structure of quantum mechanics
|
| gptkbp:fieldOfStudy |
gptkb:logic
quantum mechanics |
| gptkbp:hasApplication |
gptkb:quantum_computing
gptkb:quantum_information_theory quantum probability |
| https://www.w3.org/2000/01/rdf-schema#label |
Quantum logic
|
| gptkbp:introduced |
gptkb:John_von_Neumann
|
| gptkbp:introducedIn |
1936
|
| gptkbp:relatedTo |
gptkb:Hilbert_space
orthomodular lattice |
| gptkbp:studiedIn |
mathematical physics
philosophy of science |
| gptkbp:uses |
lattice theory
|
| gptkbp:bfsParent |
gptkb:logic
|
| gptkbp:bfsLayer |
4
|