Abstract
Multiplicative linear logic MLL was introduced in Gi as a onesided sequent calculus linear negation is a notion that is dened via De Morgan identities
One obtains proof nets for MLL by identifying derivations in the onesided calculus that are equal up to a permutation of inference rules
In this
... read more