# Exploring the gap between linear and classical logic.

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

- Volume: 18, page 473-535
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topLamarche, François. "Exploring the gap between linear and classical logic.." Theory and Applications of Categories [electronic only] 18 (2007): 473-535. <http://eudml.org/doc/128426>.

@article{Lamarche2007,

author = {Lamarche, François},

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

keywords = {-autonomous categories; denotational semantics; linear logic; classical logic; deep inference; medial rule; -autonomous categories},

language = {eng},

pages = {473-535},

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

title = {Exploring the gap between linear and classical logic.},

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

volume = {18},

year = {2007},

}

TY - JOUR

AU - Lamarche, François

TI - Exploring the gap between linear and classical logic.

JO - Theory and Applications of Categories [electronic only]

PY - 2007

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

VL - 18

SP - 473

EP - 535

LA - eng

KW - -autonomous categories; denotational semantics; linear logic; classical logic; deep inference; medial rule; -autonomous categories

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

ER -

## NotesEmbed ?

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