ΣΠ-polycategories, additive linear logic, and process semantics

Details ΣΠ-polycategories, additive linear logic, and process semantics ΣΠ-polycategories, additive linear logic, and process semantics

2003-12-23

arxiv.org/abs/math/0312422v2

Mathematics

Category Theory

175 pages, University of Calgary Master's thesis

Scientific paper

We present a process semantics for the purely additive fragment of linear logic in which formulas denote protocols and (equivalence classes of) proofs denote multi-channel concurrent processes. The polycategorical model induced by this process semantics is shown to be equivalent to the free polycategory based on the syntax (i.e., it is full and faithfully complete). This establishes that the additive fragment of linear logic provides a semantics of concurrent processes. Another property of this semantics is that it gives a canonical representation of proofs in additive linear logic. This arXived version omits Section 1.7.1: "Circuit diagrams for polycategories" as the Xy-pic diagrams would not compile due to lack of memory. For a complete version see "http://www.cpsc.ucalgary.ca/~pastroc/".

Affiliated with

Also associated with

No associations

Rating

ΣΠ-polycategories, additive linear logic, and process semantics 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 ΣΠ-polycategories, additive linear logic, and process semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and ΣΠ-polycategories, additive linear logic, and process semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-323334