Re: COMP, Quantum Logic and Gleason's Theorem

I will think about it. Somehow, the best layman intro to UDA and AUDA are in this list. The first 15-step version of UDA was a reply to Russell Standish a long time ago. UDA is the logical guide to AUDA, which is just a deeper second pass on UDA. AUDA *is* UDA explained to the dummy, with

Re: COMP, Quantum Logic and Gleason's Theorem

Goldblatt 1993, Mathematics of Modality this book is available online: http://standish.stanford.edu/bin/detail?fileID=458253745 mirek Goldblatt, Mathematics of Modality