Monoid based semantics for linear formulas

DOI10.2307/2694964zbMath0994.03011OpenAlexW2058907759MaRDI QIDQ4328823

William P. R. Mitchell, Harold Simmons

Publication date: 8 October 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694964

zbMATH Keywords

linear logicsemanticsGirard quantales

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07)

Related Items

From IF to BI. A tale of dependence and separation

Cites Work

• Unnamed Item