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

##
Advertising

> 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
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.