On proof nets for multiplicative linear logic with units

DOI10.1007/978-3-540-30124-0_14MaRDI QIDQ5311252zbMATH OpenOpenAlexFDO

Authors Lutz Straßburger, François Lamarche

Publication date 22 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100120

Mathematics Subject Classification ID

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

Recommendations

• Proof nets for unit-free multiplicative-additive linear logic
• Proof nets for multiplicative cyclic linear logic and Lambek calculus
• Proof nets sequentialisation in multiplicative linear logic
• Proof-search and proof nets in mixed linear logic
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
• Proof diagrams for multiplicative linear logic: syntax and semantics
• Subnets of proof-nets in multiplicative linear logic with MIX
• A formal model for a linear time correctness condition of proof nets of multiplicative linear logic
• Planar and braided proof-nets for multiplicative linear logic with mix
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics

Cited in

(26)

• Coherence in linear predicate logic
• The additive multiboxes
• Simple free star-autonomous categories and full coherence
• Proof diagrams for multiplicative linear logic: syntax and semantics
• From proof-nets to bordisms: the geometric meaning of multiplicative connectives
• Completeness of MLL proof-nets w.r.t. weak distributivity
• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
• Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
• scientific article; zbMATH DE number 517045 (Why is no real title available?)
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
• LINK: A proof environment based on proof nets
• Yet another correctness criterion for multiplicative linear logic with MIX
• Double categories: a modular model of multiplicative linear logic
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• Proof diagrams for multiplicative linear logic
• Proof nets, coends and the Yoneda isomorphism
• scientific article; zbMATH DE number 7471682 (Why is no real title available?)
• Proof nets for first-order additive linear logic
• scientific article; zbMATH DE number 7199586 (Why is no real title available?)
• Unification nets: canonical proof net quantifiers
• Deep inference and expansion trees for second-order multiplicative linear logic
• Proof nets for unit-free multiplicative-additive linear logic
• scientific article; zbMATH DE number 2208067 (Why is no real title available?)
• Type isomorphisms for multiplicative-additive linear logic
• Proof nets sequentialisation in multiplicative linear logic

This page was built for publication: On proof nets for multiplicative linear logic with units

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