A Useful Four-Valued Logic
Nuel Belnap low
No abstract in the source record.
this paper
works it cites
works citing it
node size = global citations · hover for the full title
Links
Topics
| Logic, Reasoning, and Knowledge | Computer Science |
| Logic, programming, and type systems | Computer Science |
| Advanced Algebra and Logic | Computer Science |
Is this record sound?
complete
Nothing in this record contradicts itself and no field we check is missing.
- supports1 author record(s) attached.
- supports24 reference(s) recorded.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 88a60cdbb94c6a13…