Proof diagrams for multiplicative linear logic: syntax and semantics

DOI10.1007/s10817-018-9466-4zbMath1468.03077arXiv1702.00268OpenAlexW2583750720MaRDI QIDQ2331072

Matteo Acclavio

Publication date: 25 October 2019

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.00268

zbMATH Keywords

monoidal categorieslinear logicstring diagramsproof semantics

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Higher-dimensional word problems with applications to equational logic
• The geometry of tensor calculus. I
• Limits indexed by category-valued 2-functors
• The structure of multiplicatives
• Towards an algebraic theory of Boolean circuits.
• Termination orders for three-dimensional rewriting
• A Survey of Graphical Languages for Monoidal Categories
• A Prehistory of n-Categorical Physics
• INTRODUCTION TO THE YANG-BAXTER EQUATION
• Higher-dimensional categories with finite derivation type
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• A new constructive logic: classic logic
• No proof nets for MLL with units
• Computer Science Logic
• Parsing MELL proof nets

This page was built for publication: Proof diagrams for multiplicative linear logic: syntax and semantics