On categorical equivalence of Gentzen-style derivations in IMLL

DOI10.1016/S0304-3975(02)00454-1zbMath1019.03041MaRDI QIDQ1401367

Vladimir Orevkov, Serguei V. Solov'ev

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

intuitionistic linear logicclosed categoriescategorical equivalence of derivation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Categorical interpretation of logical derivations and its applications in algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the conditions of full coherence in closed categories
• Algebra of proofs
• The structure of free closed categories
• Natural deduction and coherence for weakly distributive categories
• Closed categories and the theory of proofs
• Proof of a conjecture of S. Mac Lane
• Linear lambda-terms and natural deduction
• A note on full intuitionistic linear logic
• Coherence in closed categories
• Reductions in Intuitionistic Linear Logic
• Deductive systems and categories