FOM: Quantum Logic

[Insall]

I wrote a short note a while back that appeared in volume 1 of Mathematica
Moravica (1997), called ``Geometric Conditions for Local Finiteness of a
Lattice of Closed Convex Sets''.  In it, I suggested that one would do
better with a finite or, at the least, a locally finite, lattice of truth
values when developing a quantum logic, and I was thinking more along the
lines of actual implementation.  Perhaps this is related closely enough, or
perhaps not.  Reprints available upon request.

Matt Insall

-----Original Message-----
On Tuesday, May 28, 2002 4:05 PM, H. Enderton wrote, in response to a query
from Todd Wilson:
Subject: Re: FOM: Quantum Logic


Todd, I'm not sure what you have already looked at.  But here are
three possible references: