Hostname: page-component-8448b6f56d-42gr6 Total loading time: 0 Render date: 2024-04-23T21:38:40.804Z Has data issue: false hasContentIssue false
  • English
  • Français

Obsessional experiments for linear logic proof-nets

Published online by Cambridge University Press:  23 December 2003

LORENZO TORTORA de FALCO
LORENZO TORTORA de FALCO
Affiliation:
Dipartimento di Filosofia Università Roma Tre, Via Ostiense 234, 00146 Roma, Italy Email: tortora@uniroma3.it
Get access Rights & Permissions [Opens in a new window]

Abstract

We address the question of injectivity of coherent semantics of linear logic proof-nets. Starting from Girard's definition of experiment, we introduce the key-notion of ‘injective obsessional experiment’, which allows us to give a positive answer to our question for certain fragments of linear logic, and to build counter-examples to the injectivity of coherent semantics in the general case.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 13 , Issue 6 , December 2003 , pp. 799 - 855
Copyright
2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)