On Thu, Mar 31, 2011 at 9:33 AM, Bruno Marchal <marc...@ulb.ac.be> wrote:

> Or something like that. Quantum logic (and also its arithmetical form) has
> many notion of implication. The one above is the closer to the Sazaki Hook
> which Hardegree used to show that orthomodularity in quantum ortholattice is
> related to the notion of counterfactual. You will find the reference in my
> papers.
> Unfortunately orthomodularity is still an open problem in the arithmetical
> 'quantum logic'. Eric Vandenbusche is currently trying to optimize the G*
> theorem prover to get an answer.

And here I thought I was making progress in understanding Bruno's
thesis.  I clearly have a *long* way further to go in my studies :-)

Johnathan Corgan

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to