A System of Interaction and Structure IV: The Exponentials and Decomposition

Details A System of Interaction and Structure IV: The Exponentials and Decomposition A System of Interaction and Structure IV: The Exponentials and Decomposition

2009-03-30

arxiv.org/abs/0903.5259v2

Computer Science

Logic in Computer Science

Scientific paper

We study a system, called NEL, which is the mixed commutative/non-commutative linear logic BV augmented with linear logic's exponentials. Equivalently, NEL is MELL augmented with the non-commutative self-dual connective seq. In this paper, we show a basic compositionality property of NEL, which we call decomposition. This result leads to a cut-elimination theorem, which is proved in the next paper 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.

Affiliated with

Also associated with

No associations

Rating

A System of Interaction and Structure IV: The Exponentials and Decomposition does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A System of Interaction and Structure IV: The Exponentials and Decomposition, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A System of Interaction and Structure IV: The Exponentials and Decomposition will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-425570