On categorical equivalence of Gentzen-style derivations in IMLL
type: Item
instance of: scholarly article
title: On categorical equivalence of Gentzen-style derivations in IMLL
zbMATH Open document ID: 1019.03041
DOI: 10.1016/S0304-3975(02)00454-1
author: Vladimir Orevkov
author: Serguei V. Solov'ev
published in: Theoretical Computer Science
publication date: 2003-08-17T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 1965374
zbMATH Keywords: closed categories
zbMATH Keywords: intuitionistic linear logic
zbMATH Keywords: categorical equivalence of derivation
MaRDI profile type: Publication
cites work: Q4281466
cites work: A note on full intuitionistic linear logic
cites work: Natural deduction and coherence for weakly distributive categories
cites work: Q3791120
cites work: The structure of free closed categories
cites work: Q5654208
cites work: Coherence in closed categories
cites work: Deductive systems and categories
cites work: Q5595187
cites work: Closed categories and the theory of proofs
cites work: Linear lambda-terms and natural deduction
cites work: On the conditions of full coherence in closed categories
cites work: Reductions in Intuitionistic Linear Logic
cites work: Proof of a conjecture of S. Mac Lane
cites work: Algebra of proofs
Recommended article: Q4495044
Recommended article: On equivalence of derived categories
Recommended article: On equivalences of derived and singular categories
Recommended article: Derived equivalences of functor categories
Recommended article: Categorical equivalences and realization theorems
Recommended article: Derived categories and stable equivalence
Recommended article: Categorical properties of generalized σ-derivations on modules
Recommended article: Derivations in Codifferential Categories
Recommended article: Equivalences of equivariant derived categories
Recommended article: On algebras with implications, categorically equivalent to pseudo-MV algebras
description: scientific article; zbMATH DE number 1965374