Geodesic
Exploring the gap between linear and classical logic
Theory and applications of categories, Tome 18 (2007), pp. 473-535

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

The Medial rule was first devised as a deduction rule in the Calculus of Structures. In this paper we explore it from the point of view of category theory, as additional structure on a *-autonomous category. This gives us some insights on the denotational semantics of classical propositional logic, and allows us to construct new models for it, based on suitable generalizations of the theory of coherence spaces.

Classification : 03F52, 03G30, 19D23, 18D15, 68Q55
Keywords: *-autonomous categories, denotational semantics, linear logic, classical logic, deep inference, Medial rule 
@article{TAC_2007_18_a16,
     author = {Francois Lamarche},
     title = {Exploring the gap between linear and classical logic},
     journal = {Theory and applications of categories},
     pages = {473--535},
     publisher = {mathdoc},
     volume = {18},
     year = {2007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2007_18_a16/}
}
TY  - JOUR
AU  - Francois Lamarche
TI  - Exploring the gap between linear and classical logic
JO  - Theory and applications of categories
PY  - 2007
SP  - 473
EP  - 535
VL  - 18
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2007_18_a16/
LA  - en
ID  - TAC_2007_18_a16
ER  - 
%0 Journal Article
%A Francois Lamarche
%T Exploring the gap between linear and classical logic
%J Theory and applications of categories
%D 2007
%P 473-535
%V 18
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2007_18_a16/
%G en
%F TAC_2007_18_a16
Francois Lamarche. Exploring the gap between linear and classical logic. Theory and applications of categories, Tome 18 (2007), pp. 473-535. http://geodesic.mathdoc.fr/item/TAC_2007_18_a16/