# Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.

Cockett, J.R.B.; Seely, R.A.G.

Theory and Applications of Categories [electronic only] (1997)

- Volume: 3, page 85-131
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topCockett, J.R.B., and Seely, R.A.G.. "Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.." Theory and Applications of Categories [electronic only] 3 (1997): 85-131. <http://eudml.org/doc/119158>.

@article{Cockett1997,

author = {Cockett, J.R.B., Seely, R.A.G.},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {monoidal closed categories; tensorial strength; coherence; categorical proof theory; weakly distributive categories; linearly distributive categories; tensor-par fragement of linear logic; cut-elimination; MIX rule},

language = {eng},

pages = {85-131},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.},

url = {http://eudml.org/doc/119158},

volume = {3},

year = {1997},

}

TY - JOUR

AU - Cockett, J.R.B.

AU - Seely, R.A.G.

TI - Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.

JO - Theory and Applications of Categories [electronic only]

PY - 1997

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 3

SP - 85

EP - 131

LA - eng

KW - monoidal closed categories; tensorial strength; coherence; categorical proof theory; weakly distributive categories; linearly distributive categories; tensor-par fragement of linear logic; cut-elimination; MIX rule

UR - http://eudml.org/doc/119158

ER -

## Citations in EuDML Documents

top## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.