Coherence of proof-net categories

DOI10.2298/PIM0578001DzbMath1274.03089arXivmath/0503301MaRDI QIDQ4928272

Kosta Došen, Zoran Petrić

Publication date: 10 June 2013

Published in: Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

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

zbMATH Keywords

linear logicproof netsgenerality of proofssymmetric monoidal closed categorystar-autonomous categorycategorial coherencelinear distributionBrauerian graphsdissociativityKelly-Mac Lane graphsmix principlesplit equivalences

Mathematics Subject Classification ID

Structure of proofs (03F07) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15)

Related Items

A categorical semantics for polarized MALL, Proof nets and semi-star-autonomous categories