The Carcinogenic Example


Mitchell, Bill (1997) The Carcinogenic Example. Journal of IGPL, 5, (6), 795-810.

Download

[img] Postscript
Download (138Kb)

Description/Abstract

This paper will introduce a new model for Linear Logic, the IE model (I for Internal E for External). Intuitively the model assumes there is a global environment which is divided up into an internal resource and an external resource. Such an assumption makes for an elementary definition of linear negation. The model results in a fairly natural semantics for the multiplicative operators and the constants of Linear Logic. A particular example of the model is given which gives a proper technical account of the cigarette example

Item Type: Article
ISSNs: 1367-0751
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > IT Innovation Centre
ePrint ID: 266057
Date Deposited: 04 Jul 2008 16:28
Last Modified: 27 Mar 2014 20:11
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266057

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics