Ribbon tensorial logic

DOI10.1145/3209108.3209129MaRDI QIDQ5145345zbMATH OpenOpenAlexWikidataFDO

Authors 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

dialogue categoriesfunctorial knot theorylinear logicproof netsproof structuresribbon categoriestensorial logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2208067
• A micrological study of negation
• Game Semantics in String Diagrams
• Resource modalities in tensor logic
• Tortile tensor categories

Cited in

(8)

• Coherence via focusing for symmetric skew monoidal categories
• A micrological study of negation
• scientific article; zbMATH DE number 2208067 (Why is no real title available?)
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Clones, closed categories, and combinatory logic
• A braided lambda calculus
• Implicit automata in typed -calculi I: aperiodicity in a non-commutative logic
• Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories

This page was built for publication: Ribbon tensorial logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145345)