On categorical equivalence of Gentzen-style derivations in IMLL
From MaRDI portal
Publication:1401367
DOI10.1016/S0304-3975(02)00454-1zbMATH Open1019.03041MaRDI QIDQ1401367FDOQ1401367
Vladimir Orevkov, Serguei V. Solov'ev
Publication date: 17 August 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 1486920
- On equivalence of derived categories
- On equivalences of derived and singular categories
- Derived equivalences of functor categories
- Categorical equivalences and realization theorems
- Derived categories and stable equivalence
- Categorical properties of generalized σ-derivations on modules
- Derivations in codifferential categories
- Equivalences of equivariant derived categories
- On algebras with implications, categorically equivalent to pseudo-MV algebras
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Cites Work
- Title not available (Why is that?)
- Natural deduction and coherence for weakly distributive categories
- Deductive systems and categories
- Algebra of proofs
- Title not available (Why is that?)
- Coherence in closed categories
- Title not available (Why is that?)
- Closed categories and the theory of proofs
- The structure of free closed categories
- On the conditions of full coherence in closed categories
- A note on full intuitionistic linear logic
- Title not available (Why is that?)
- Proof of a conjecture of S. Mac Lane
- Linear lambda-terms and natural deduction
- Reductions in Intuitionistic Linear Logic
Cited In (1)
This page was built for publication: On categorical equivalence of Gentzen-style derivations in IMLL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1401367)
