A Useful Four-Valued Logic¶
Belnap, N. D. A Useful Four-Valued Logic. Modern Uses of Multiple-Valued Logic.
Cited by¶
1 citation across 1 artifact.
Domain-specific¶
- Four-Valued Logic
- A Four-Valued Logic assigns formulas values from a set of exactly four semantic states and defines connectives, entailment, and designated values over that set.
Supported in partVerified against the publisher's abstract
Abstract supports Belnap's four-valued logic for inference, but does not define its four states, connectives, entailment, or designated values.
“It is argued that a sophisticated question-answering machine that has the capability of making inferences from its data base should employ a certain four-valued logic, the motivating consideration being that minor inconsistencies in its data should not be allowed to lead (as in classical logic) to irrelevant conclusions.”
- A Four-Valued Logic assigns formulas values from a set of exactly four semantic states and defines connectives, entailment, and designated values over that set.
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 1 of 1 citation: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:f5711c0a0bcc · see in the full table