Statements (21)
| 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 |
| 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 |
| http://www.w3.org/2000/01/rdf-schema#label |
Non-classical Logic
|