# Natural deduction and coherence for non-symmetric linearly distributive categories.

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

- Volume: 6, page 105-146
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topSchneck, Robert R.. "Natural deduction and coherence for non-symmetric linearly distributive categories.." Theory and Applications of Categories [electronic only] 6 (1999): 105-146. <http://eudml.org/doc/120143>.

@article{Schneck1999,

author = {Schneck, Robert R.},

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

keywords = {categorical proof theory; nonsymmetric linearly distributive categories; monoidal categories; noncommutative negation-free multiplicative linear logic; proof nets; decision procedure; equivalence of proofs},

language = {eng},

pages = {105-146},

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

title = {Natural deduction and coherence for non-symmetric linearly distributive categories.},

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

volume = {6},

year = {1999},

}

TY - JOUR

AU - Schneck, Robert R.

TI - Natural deduction and coherence for non-symmetric linearly distributive categories.

JO - Theory and Applications of Categories [electronic only]

PY - 1999

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

VL - 6

SP - 105

EP - 146

LA - eng

KW - categorical proof theory; nonsymmetric linearly distributive categories; monoidal categories; noncommutative negation-free multiplicative linear logic; proof nets; decision procedure; equivalence of proofs

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

ER -

## NotesEmbed ?

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