Re: COMP, Quantum Logic and Gleason's Theorem

From: Günther Greindl <guenther.greindl.domain.name.hidden>
Date: Sun, 25 Jan 2009 18:45:01 +0100

Hi Bruno,

>> Goldblatt, Mathematics of Modality
> Note that it is advanced stuff for people familiarized with
> mathematical logic (it presupposes Mendelson's book, or Boolos &
> Jeffrey).
>
> Two papers in that book are "part" of AUDA: the UDA explain to the
> universal machine, and her opinion on the matter.

I would like to add a "guide to AUDA" section on the resources page.
Maybe you could specify the core references necessary for understanding
the AUDA (if you like and have the time)?

Here a first suggestion of what I am thinking of:

Boolos Et Al. Computability and Logic. 2002. 4th Edition

Chellas. Modal Logic. 1980.

Goldblatt, Semantic Analysis of Orthologic and
Arithmetical Necessity, Provability and Intuitionistic Logic
to be found in Goldblatt, Mathematics of Modality. 1993.



What do you think?

Best Wishes,
Günther

--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sun Jan 25 2009 - 12:48:00 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:15 PST