Re: Cancellative LL
Jean-Marc Andreoli asks,
>Long ago, I ran into a thing called "cancellative Linear Logic" or something
>like that, where the operators "par" and "times" are blurred. Can anyone give
>me pointers about that. Thanks.
The term "cancellative linear logic" was introduced in exactly this sense
in the paper
N. Marti-Oliet and J. Meseguer "An algebraic axiomatization of linear logic
models," in G.M. Reed, A.W. Roscoe, and R.F. Wachter, eds., "Topology
and Category Theory in Computer Science" Oxford University Press, 1991.