A substructural logic for layered graphs

DOI10.1093/LOGCOM/EXU002zbMath1303.03055OpenAlexW2135206833MaRDI QIDQ2937700

Matthew Collinson, Kevin McDonald, David J. Pym

Publication date: 12 January 2015

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

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

zbMATH Keywords

modellinggraphsproof theorycomplex systemssubstructural logicsemanticslayers

Mathematics Subject Classification ID

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

Related Items (7)

A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the Complexity of the Equational Theory of Residuated Boolean Algebras ⋮ A Substructural Epistemic Resource Logic

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