A substructural logic for layered graphs

DOI10.1093/LOGCOM/EXU002MaRDI QIDQ2937700zbMATH OpenOpenAlexFDO

Authors Matthew Collinson, Kevin McDonald, David 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

complex systemsgraphslayersmodellingproof theorysemanticssubstructural logic

Mathematics Subject Classification ID

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

Recommendations

• Intuitionistic layered graph logic
• scientific article; zbMATH DE number 6970800
• Layered graph logic as an assertion language for access control policy models
• Logic of secrets in collaboration networks
• A graph-theoretic account of logics

Cited in

(9)

• A stone-type duality theorem for separation logic via its underlying bunched logics
• Intuitionistic layered graph logic
• On the complexity of the equational theory of residuated Boolean algebras
• Stone-type dualities for separation logics
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• A substructural epistemic resource logic
• Abstract hidden Markov models: a monadic account of quantitative information flow
• An algebraic glimpse at bunched implications and separation logic
• Expressiveness results for an inductive logic of separated relations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2937700)