Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:logic
|
gptkbp:allows |
Truth value gaps
Truth value gluts |
gptkbp:characterizedBy |
Deviation from classical logical laws
|
gptkbp:contrastsWith |
gptkb:Classical_Logic
|
gptkbp:developedBy |
20th Century
|
gptkbp:fieldOfStudy |
gptkb:Mathematics
gptkb:philosophy Computer Science |
https://www.w3.org/2000/01/rdf-schema#label |
Non-classical Logic
|
gptkbp:includes |
gptkb:logic
gptkb:Fuzzy_Logic gptkb:Relevant_Logic Paraconsistent Logic Intuitionistic Logic Many-valued Logic Quantum Logic |
gptkbp:studies |
Alternative logical systems
|
gptkbp:usedIn |
gptkb:Linguistics
gptkb:artificial_intelligence gptkb:Cognitive_Science |
gptkbp:bfsParent |
gptkb:logic
|
gptkbp:bfsLayer |
4
|