Proof nets sequentialisation in multiplicative linear logic

DOI10.1016/J.APAL.2008.04.002zbMath1165.03051OpenAlexW2163170048MaRDI QIDQ952490

Paolo Di Giamberardino, Claudia Faggian

Publication date: 12 November 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.04.002

zbMATH Keywords

linear logicproof netssequentialization

Mathematics Subject Classification ID

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

Related Items (2)

Jump from parallel to sequential proofs: exponentials ⋮ An approach to innocent strategies as graphs

Cites Work

• Unnamed Item
• Unnamed Item
• An approach to innocent strategies as graphs
• Linear logic
• Sequent reconstruction in LLM -- A sweepline proof
• Jump from Parallel to Sequential Proofs: Multiplicatives
• Proof nets for unit-free multiplicative-additive linear logic
• Computer Science Logic

This page was built for publication: Proof nets sequentialisation in multiplicative linear logic