Anderson–Belnap relevant logics
E1100095
UNEXPLORED
Anderson–Belnap relevant logics are a family of non-classical logics that require premises to be relevant to conclusions, developed by Alan Anderson and Nuel Belnap as a formal alternative to classical implication.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Anderson–Belnap relevant logics canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
Routley star semantics