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.

Jose Meseguer