Obsessional experiments for linear logic proof-nets

LORENZO TORTORA de FALCO

doi:10.1017/S0960129503003967

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Laurent, Olivier 2005. Syntax vs. semantics: A polarized approach. Theoretical Computer Science, Vol. 343, Issue. 1-2, p. 177.

Laurent, O. and Tortora de Falco, L. 2006. Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. p. 179.

Matsuoka, Satoshi 2007. Weak typed Böhm theorem on IMLL. Annals of Pure and Applied Logic, Vol. 145, Issue. 1, p. 37.

Mazza, Damiano and Pagani, Michele 2007. Logic for Programming, Artificial Intelligence, and Reasoning. Vol. 4790, Issue. , p. 393.

PAGANI, MICHELE 2007. Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic. Mathematical Structures in Computer Science, Vol. 17, Issue. 2, p. 341.

Pagani, Michele and Tasson, Christine 2009. The Inverse Taylor Expansion Problem in Linear Logic. p. 222.

de Carvalho, D. Pagani, M. and Tortora de Falco, L. 2011. A semantic measure of the execution time in linear logic. Theoretical Computer Science, Vol. 412, Issue. 20, p. 1884.

de Carvalho, Daniel and Tortora de Falco, Lorenzo 2012. The relational model is injective for multiplicative exponential linear logic (without weakenings). Annals of Pure and Applied Logic, Vol. 163, Issue. 9, p. 1210.

Pagani, Michele 2012. Visible acyclic differential nets, Part I: Semantics. Annals of Pure and Applied Logic, Vol. 163, Issue. 3, p. 238.

Boudes, Pierre Mazza, Damiano and Tortora de Falco, Lorenzo 2015. An abstract approach to stratification in linear logic. Information and Computation, Vol. 241, Issue. , p. 32.

Olimpieri, Federico 2021. Intersection Type Distributors. p. 1.

Article contents

Obsessional experiments for linear logic proof-nets

Abstract

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests