 Contradiction-realizing impossible worlds can help us avoid ex contradictione quodlibet, if they are worlds where some contradiction \(A \wedge \neg A\) is true but some other \(B\) is not true. For that reason, various systems of relevant logic have been given semantics which include (things naturally thought of as) impossible worlds.