Research

A system of interaction and structure IV: The exponentials and decomposition


Reference:

Straburger, L. and Guglielmi, A., 2011. A system of interaction and structure IV: The exponentials and decomposition. ACM Transactions on Computational Logic, 12 (4), 23.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below. (Contact Author)

Official URL:

http://dx.doi.org/10.1145/1970398.1970399

Related URLs:

Abstract

We study a system, called NEL, which is themixed commutative/noncommutative linear logic BV augmented with linear logic's exponentials. Equivalently, NEL is MELL augmented with the noncommutative self-dual connective seq. In this article,we show a basic compositionality property ofNEL,which we call decomposition. This result leads to a cut-elimination theorem, which is proved in the next article of this series. To control the induction measure for the theorem, we rely on a novel technique that extracts from NEL proofs the structure of exponentials, into what we call !-?-Flow-Graphs.

Details

Item Type Articles
CreatorsStraburger, L.and Guglielmi, A.
DOI10.1145/1970398.1970399
Related URLs
URLURL Type
http://arxiv.org/pdf/0903.5259Free Full-text
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code25862

Export

Actions (login required)

View Item