A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic

Yuki Nishimuta, Mitsuhiro Okada

Danos and Regnier (1989) introduced the par-switching condition for multiplicative proof-structures and simplified the sequentialization theorem of Girard (1987) by means of par-sw…