Ribbon Tensorial Logic

DOI10.1145/3209108.3209129zbMath1453.03069OpenAlexW2798754626WikidataQ130834584 ScholiaQ130834584MaRDI QIDQ5145345

Paul-André Melliès

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209129

zbMATH Keywords

ribbon categorieslinear logicproof netsdialogue categoriestensorial logicproof structuresfunctorial knot theory

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Knot theory (57K10) Braided monoidal categories and ribbon categories (18M15)

Related Items (2)

Coherence via focusing for symmetric skew monoidal categories ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

This page was built for publication: Ribbon Tensorial Logic