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.
|Number of pages||2|
|Journal||Journal of Logic and Computation|
|Early online date||9 Jun 2015|
|Publication status||Published - Feb 2017|
FingerprintDive into the research topics of 'Erratum to: A substructural logic for layered graphs'. Together they form a unique fingerprint.
- School of Natural & Computing Sciences, Computing Science - Senior Lecturer
- Cybersecurity and Privacy