Proposition 6.2 (2) and (3) of ‘A substructural logic for layered graphs’, by M. Collinson, K. McDonald, and D. Pym, Journal of Logic and Computation (2014) 24 (4): 953-988, are incorrect. We provide explanations of the failures of the intended proofs and specific counterexamples. The article makes no further use of the claims and there are no consequences for the theory or examples that are presented.
Collinson, M., McDonald, K., Docherty, S., & Pym, D. (2017). Erratum to: A substructural logic for layered graphs. Journal of Logic and Computation, 27(1), 413-414. https://doi.org/10.1093/logcom/exv019