Linear Logics with Communication-merge

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.