A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Propositions in Linear Multirole Logic as Multiparty Session Types
[article]
2016
arXiv
pre-print
We identify multirole logic as a new form of logic and formalize linear multirole logic (LMRL) as a natural generalization of classical linear logic (CLL). Among various meta-properties established for LMRL, we obtain one named multi-cut elimination stating that every cut between three (or more) sequents (as a generalization of a cut between two sequents) can be eliminated, thus extending the celebrated result of cut-elimination by Gentzen. We also present a variant of π-calculus for multiparty
arXiv:1611.08888v1
fatcat:c2lrjcfozjc7pa3g5q27nhrg4y