Substructural Logic and Metainferences