On the fine structure of the exponential rule

In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 197 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Towards a theory of resource: an approach based on soft exponentials.Norihiro Kamide - 2007 - Journal of Applied Non-Classical Logics 17 (1):63-89.
The completeness of linear logic for Petri net models.K. Ishihara & K. Hiraishi - 2001 - Logic Journal of the IGPL 9 (4):549-567.
Simone Martini: Complete Edition. [REVIEW]James Czarnecki - 1991 - Speculum 66 (2):443-445.
Natural deduction for intuitionistic linear logic.A. S. Troelstra - 1995 - Annals of Pure and Applied Logic 73 (1):79-108.
Exponential Polynomials of Linear Height.Rod McBeth - 1980 - Mathematical Logic Quarterly 26 (25-27):399-404.
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings).Daniel de Carvalho & Lorenzo Tortora de Falco - 2012 - Annals of Pure and Applied Logic 163 (9):1210-1236.
Simone Martini, the Dominicans and the early sienese polyptych.Joanna Cannon - 1982 - Journal of the Warburg and Courtauld Institutes 45 (1):69-93.
Local computation in linear logic.Ugo Solitro & Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):201-212.
Linear logic: its syntax and semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--1.
Inheritance with exceptions: an attempt at formalization with linear connectives in unified logic.Jacqueline Vauzeilles & Christophe Fouqueré - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 167--196.

Analytics

Added to PP
2014-01-25

Downloads
68 (#306,071)

6 months
2 (#1,683,984)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references