Propositions in Linear Multirole Logic as Multiparty Session Types

Hongwei Xi, Hanwen Wu

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-prope…