CBV and Quantum Entanglement

Hi, Prakash suggested me to redirect this message (for Rick Blute and 
me) to Frogs, what I do with much pleasure after deleting the 
personal parts: [...]. The paper is available at 
<http://www.ki.inf.tu-dresden.de/~guglielm/res/pap/BVQuantCausEvol.pdf>. 
I think this is very exciting!   -Alessio


Dear Rick and Alessio,
After much dithering I wrote a short note on the use of the logic CBV
for describing quantum causal propagation.  It is not very formal; at
the end I just wrote some stray thoughts rather than a conclusion.  The
note includes a long summary of the quantum situation and a recap of the
problems we had with the sequent calculus version. [Rick can glance at
this].  The last couple of pages shows how CBV deals with the
problematic graph with induced entanglement.  I still think it is great!
[Rick, I contributed more or less zero to this part; these are all
Alessio's ideas].  I think there is much to do and much to rethink.
Quantum mechanics is undergoing change and this can be - at least - a
small part of it.  I leave for [...] and then [...] this weekend.  My
[...] is returning to [...] this weekend; I will [...] at the end of
[...].  Have a nice holiday [...]!  If you think this note is suitable
for frogs please post it there.  Thanks and thanks also for numerous
[...], whisky and the [...].

Best wishes,
Prakash