Erratum to: A substructural logic for layered graphs

DOI10.1093/LOGCOM/EXV019zbMath1361.03014OpenAlexW2119792837MaRDI QIDQ2987058

Matthew Collinson, Simon Docherty, Kevin McDonald, David J. Pym

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv019

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Intuitionistic Layered Graph Logic

This page was built for publication: Erratum to: A substructural logic for layered graphs