Tag substructural logic