Susan Haack has a useful, if now older, philosophical discussion about logics for quantum mechanics in "Deviant Logic" (Cambridge University Press, 1974) Jay Halcomb Interests: logic, theorem-proving, and computer science http://www.sonic.net/~halcomb