Cartesian isomorphisms are symmetric monoidal: A justification of linear logic

DOI10.2307/2586761zbMath0928.03070OpenAlexW2010611147MaRDI QIDQ4254631

Kosta Došen, Zoran Petrić

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

zbMATH Keywords

linear logiccategory theorysymmetric monoidal categorystructure of proofscartesian categoryfreely generated isomorphismproof theoretical applications

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) 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)

Related Items (2)

Intermutation ⋮ Isomorphic formulae in classical propositional logic

Cites Work

• Unnamed Item
• Unnamed Item
• Logical constants as punctuation marks
• Modal translations in substructural logics
• Provable isomorphisms of types
• Eine Darstellung der Intuitionistischen Logik in der Klassischen

This page was built for publication: Cartesian isomorphisms are symmetric monoidal: A justification of linear logic