Erratum to: A substructural logic for layered graphs

Matthew Collinson, Kevin McDonald, Simon Docherty, David Pym

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)413-414
Number of pages2
JournalJournal of Logic and Computation
Volume27
Issue number1
Early online date9 Jun 2015
DOIs
Publication statusPublished - Feb 2017

Fingerprint

Substructural Logics
Proposition
Counterexample
Logic
Graph in graph theory
Graph

Cite this

Erratum to: A substructural logic for layered graphs. / Collinson, Matthew; McDonald, Kevin; Docherty, Simon; Pym, David.

In: Journal of Logic and Computation, Vol. 27, No. 1, 02.2017, p. 413-414.

Research output: Contribution to journalArticle

Collinson, Matthew ; McDonald, Kevin ; Docherty, Simon ; Pym, David. / Erratum to: A substructural logic for layered graphs. In: Journal of Logic and Computation. 2017 ; Vol. 27, No. 1. pp. 413-414.
@article{cb6ac00343ca4e3d91c1e630c92ba241,
title = "Erratum to: A substructural logic for layered graphs",
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.",
author = "Matthew Collinson and Kevin McDonald and Simon Docherty and David Pym",
year = "2017",
month = "2",
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

VL - 27

SP - 413

EP - 414

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 1

ER -