Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:application |
gptkb:artificial_intelligence
gptkb:logic computer science database theory |
| gptkbp:field |
gptkb:logic
gptkb:philosophy |
| gptkbp:generalizes |
gptkb:classical_logic
three-valued logic |
| gptkbp:notableExample |
Belnap's logic
Dunn/Belnap logic Łukasiewicz's four-valued logic |
| gptkbp:number_of_truth_values |
4
|
| gptkbp:relatedConcept |
fuzzy logic
multi-valued logic paraconsistent logic |
| gptkbp:truth_values_include |
false
true both true and false neither true nor false |
| gptkbp:used_in |
paraconsistent logic
relevance logic |
| gptkbp:bfsParent |
gptkb:Belnap–Dunn_logic
gptkb:Nuel_D._Belnap_Jr. |
| gptkbp:bfsLayer |
7
|