Handbook of quantum logic and quantum structures
Subtitle: quantum logic
By: edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann
Contributors: ScienceDirect (Online service)
Edition: 1st ed.
Publisher: Elsevier/North-Holland
Published: 2009
Place of publication: Amsterdam; Boston, Mass
Language: eng
Format: [electronic resource] :
Number of pages: 715
ISBN-13: 9780080931661; 9780444528698
Subjects: Quantum logic; Handbooks, manuals
Notes: Includes bibliographical references and index.

Electronic reproduction.
Table of contents: title: The Birkhoff-von Neumann concept of quantum logic / Miklós Rédei; title: Is quantum logic a logic? / Mladen Pavičić, Norman D. Megill; title: Is logic empirical? / Guido Bacciagaluppi; title: Quantum axiomatics / Diederik Aerts; title: Quantum logic and nonclassical logics / Gianpiero Cattaneo ... [et al.]; title: Gentzen methods in quantum logic / Hirokazu Nishimura; title: Categorical quantum mechanics / Samson Abramsky, Bob Coecke; title: Extending classical logic for reasoning about quantum systems / Rohit Chadha ... [et al.]; title: Solèr's theorem / Alexander Prestel; title: Operational quantum logic : a survey and analysis / David J. Moore, Frank Valckenborgh; title: Test spaces / Alexander Wilce; title: Contexts in quantum, classical and partition logic / Karl Svozil; title: Nonmonotonicity and holicity in quantum logic / Kurt Engesser, Dov Gabbay, Daniel Lehmann; title: A quantum logic of down below / Peter D. Bruza, Dominic Widdows, John H. Woods; title: A completeness theorem of quantum set theory / Satoko Titani.