Displaying and Deciding Substructural Logics 1: Logics with Contraposition Greg Restall OriginalPaper Pages: 179 - 216