On categorical equivalence of Gentzen-style derivations in IMLL
From MaRDI portal
Publication:1401367
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)
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
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