Robles. Minimal Non-relevant Logics Without the K Axiom II. Negation Introduced via the Unary Connective. 2010.