scientific article; zbMATH DE number 7441265

zbMath1487.03071arXiv1701.04917MaRDI QIDQ5014808

Jamie Vicary, Lawrence Dunn

Publication date: 8 December 2021

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

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

Mathematics Subject Classification ID

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

Cites Work

• Linear logic
• Natural deduction and coherence for weakly distributive categories
• The geometry of tensor calculus. I
• Tori detect invertibility of topological field theories
• Simple free star-autonomous categories and full coherence
• From proof-nets to bordisms: the geometric meaning of multiplicative connectives
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Frobenius monads and pseudomonoids
• Non-semisimple topological quantum field theories for 3-manifolds with corners
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: