Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Logic
|
| gptkbp:competesWith |
Classical Logic
|
| gptkbp:hasRelatedPatent |
Computer Science
Mathematics Philosophy |
| gptkbp:hasSpecialty |
Non-distributive
|
| https://www.w3.org/2000/01/rdf-schema#label |
Quantum Logic
|
| gptkbp:isA |
Non-classical Logic
|
| gptkbp:isRelatedTo |
Quantum_Theory
|
| gptkbp:isUsedIn |
gptkb:Quantum_Mechanics
|
| gptkbp:isVisitedBy |
gptkb:Gottlob_Frege
|