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
> 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 :-)
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at