Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)

DOI10.1007/978-3-030-17127-8_9MaRDI QIDQ2289069zbMATH OpenOpenAlexFDO

Authors Simon Castellan, Nobuko Yoshida

Publication date 28 January 2020

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17127-8_9

zbMATH Keywords

event structuresgame semanticslinear logicproof nets

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• Causal dependencies in multiplicative linear logic with MIX
• Games and full completeness for multiplicative linear logic
• A game semantics for linear logic
• Proof nets for unit-free multiplicative-additive linear logic
• The relational model is injective for multiplicative exponential linear logic (without weakenings)

Cited in

(4)

• scientific article; zbMATH DE number 4116527 (Why is no real title available?)
• Causal dependencies in multiplicative linear logic with MIX
• A tale of additives and concurrency in game semantics
• Global types and event structure semantics for asynchronous multiparty sessions

This page was built for publication: Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)

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