Acyclicity and Coherence in Multiplicative Exponential Linear Logic
From MaRDI portal
Publication:3613361
DOI10.1007/11874683_35zbMath1225.03088OpenAlexW1590371658MaRDI QIDQ3613361
Publication date: 12 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11874683_35
Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (5)
Jump from parallel to sequential proofs: exponentials ⋮ Visible acyclic differential nets. I: Semantics ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic ⋮ The Cut-Elimination Theorem for Differential Nets with Promotion
This page was built for publication: Acyclicity and Coherence in Multiplicative Exponential Linear Logic
