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
Publisher: Oxford University Press
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266057

Actions (login required)

View Item View Item