Erratum to: A substructural logic for layered graphs

Matthew Collinson; Kevin McDonald; Simon Docherty; David Pym

doi:10.1093/logcom/exv019

Erratum to: A substructural logic for layered graphs

Matthew Collinson, Kevin McDonald, Simon Docherty, David Pym

University College London

Research output: Contribution to journal › Article › peer-review

2 Downloads (Pure)

Abstract

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.

Original language	English
Pages (from-to)	413-414
Number of pages	2
Journal	Journal of Logic and Computation
Volume	27
Issue number	1
Early online date	9 Jun 2015
DOIs	https://doi.org/10.1093/logcom/exv019
Publication status	Published - Feb 2017

Access to Document

10.1093/logcom/exv019Licence: Unspecified

Matthew Collinson
- School of Natural & Computing Sciences, Computing Science - Senior Lecturer
- Cybersecurity and Privacy
Person: Academic

Cite this

@article{cb6ac00343ca4e3d91c1e630c92ba241,

title = "Erratum to: A substructural logic for layered graphs",

abstract = "Proposition 6.2 (2) and (3) of {\textquoteleft}A substructural logic for layered graphs{\textquoteright}, 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. ",

author = "Matthew Collinson and Kevin McDonald and Simon Docherty and David Pym",

year = "2017",

month = feb,

doi = "10.1093/logcom/exv019",

language = "English",

volume = "27",

pages = "413--414",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "1",

}

TY - JOUR

T1 - Erratum to: A substructural logic for layered graphs

AU - Collinson, Matthew

AU - McDonald, Kevin

AU - Docherty, Simon

AU - Pym, David

PY - 2017/2

Y1 - 2017/2

N2 - 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.

AB - 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.

U2 - 10.1093/logcom/exv019

DO - 10.1093/logcom/exv019

M3 - Article

SN - 0955-792X

VL - 27

SP - 413

EP - 414

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 1

ER -

Erratum to: A substructural logic for layered graphs

Abstract

Access to Document

Fingerprint

Profiles

Matthew Collinson

Cite this