 The use of non-bivalent and inconsistent worlds requires a non-classical truth condition for negation. In the early 1970s, Richard and Val Routley invented their “star operator” to treat negation (Routley &amp; Routley 1972). The operator is an operator on non-normal worlds. For each world \(a\), there is a world \(a\)*. And