2 Adjoint Logic with Explicit Structural Rules