Linear Logics with Communication-merge
Norihiro Kamide · Journal of Logic and Computation · 2005
Cut-elimination property, relevance principle, interpolation property and a new property named communication principle are proved for a number of modal intuitionistic linear logics with communication-merge rules. A concurrent-computational interpretation for these logics is obtained based on a process algebra with communication-merge.