Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
From MaRDI portal
Publication:4254631
DOI10.2307/2586761zbMath0928.03070MaRDI QIDQ4254631
Publication date: 9 January 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/f2657e84fc408bd7d4016814687adeaa01b39ae6
linear logic; category theory; symmetric monoidal category; structure of proofs; cartesian category; freely generated isomorphism; proof theoretical applications
03G30: Categorical logic, topoi
03F07: Structure of proofs
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Cites Work