Paraconsistency in a substructural logic