Re:CBV and Quantum Entanglement

At 7:39 PM +0200 6.7.04, Prakash Panangaden wrote:
> After much dithering I wrote a short note on the use of the logic CBV
> for describing quantum causal propagation.

The paper uses CBV, a commutative version of BV. Of course, two 
questions are in order:

1 Does cut elimination hold for CBV?

2 Is deep inference necessary for CBV?

I'll try to see whether my cut elimination proof can be adapted to 
CBV and I'll keep you posted.

I have the impression that Alwen's counterexample does not crucially 
depend on seq being non-commutative, is it right, Alwen? If this is 
the case, then deep inference is necessary.

-Alessio