Acyclicity and Coherence in Multiplicative Exponential Linear Logic

DOI10.1007/11874683_35MaRDI QIDQ3613361zbMATH OpenOpenAlexFDO

Authors Michele Pagani

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

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• A By-Level Analysis of Multiplicative Exponential Linear Logic
• A matrix characterization for multiplicative exponential linear logic
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• Multiplicative linear logics and fibrations
• Linear logic, coherence and dinaturality
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
• scientific article; zbMATH DE number 517072
• Generalized connectives for multiplicative linear logic
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• An explicit formula for the free exponential modality of linear logic

Cited in

(8)

• A matrix characterization for multiplicative exponential linear logic
• A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
• The Cut-Elimination Theorem for Differential Nets with Promotion
• Visible acyclic differential nets. I: Semantics
• Jump from parallel to sequential proofs: exponentials
• scientific article; zbMATH DE number 786488 (Why is no real title available?)
• Computing connected proof(-structure)s from their Taylor expansion
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

This page was built for publication: Acyclicity and Coherence in Multiplicative Exponential Linear Logic

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