Normal Modal Substructural Logics with Strong Negation Norihiro Kamide OriginalPaper Pages: 589 - 612