scientific article; zbMATH DE number 7441263

zbMath1486.03101arXiv1606.09016MaRDI QIDQ5014804

Matteo Acclavio

Publication date: 8 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (1)

Proof diagrams for multiplicative linear logic: syntax and semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Higher-dimensional word problems with applications to equational logic
• Limits indexed by category-valued 2-functors
• The structure of multiplicatives
• Constant-only multiplicative linear logic is NP-complete
• Towards an algebraic theory of Boolean circuits.
• A Prehistory of n-Categorical Physics
• INTRODUCTION TO THE YANG-BAXTER EQUATION
• Higher-dimensional categories with finite derivation type
• No proof nets for MLL with units
• Parsing MELL proof nets

This page was built for publication: