Modularity of proof-nets. Generating the type of a module.

DOI10.1007/s00153-004-0242-2zbMath1061.03071OpenAlexW2097854407MaRDI QIDQ1766921

Quintijn Puite, Roberto Maieli

Publication date: 2 March 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0242-2

zbMATH Keywords

moduleslinear logicproof-netsweak distributivitylinear distributivity

Mathematics Subject Classification ID

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

Related Items

Unnamed Item, Non decomposable connectives of linear logic

Cites Work

• Linear logic
• Weakly distributive categories
• The structure of multiplicatives
• Focussing and proof construction
• Non-commutative logic. I: The multiplicative fragment
• Logic Programming with Focusing Proofs in Linear Logic
• Games and full completeness for multiplicative linear logic