Routley star
E1097308
UNEXPLORED
The Routley star is a unary operation used in relevant and paraconsistent logics to model a non-classical form of negation by mapping each world in a semantics to its “dual” or “starred” counterpart.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Routley star 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