Handbook of quantum logic and quantum structures:quantum logic
Saved in:
Group Author: | ; ; |
---|---|
Published: |
Elsevier/North-Holland,
|
Publisher Address: | Amsterdam Boston, Mass. |
Publication Dates: | c2009. |
Literature type: | Book |
Language: | English |
Edition: | 1st ed. |
Subjects: | |
Carrier Form: | x, 715 p.: ; 25 cm. |
ISBN: |
9780444528698 (hbk.) 0444528695 (hbk.) |
Index Number: | O413 |
CLC: | O413-62 |
Call Number: | O413-62/H236-1 |
Contents: |
Includes bibliographical references and index. The Birkhoff-von Neumann concept of quantum logic / Miklós Rédei -- Is quantum logic a logic? / Mladen Pavičić, Norman D. Megill -- Is logic empirical? / Guido Bacciagaluppi -- Quantum axiomatics / Diederik Aerts -- Quantum logic and nonclassical logics / Gianpiero Cattaneo ... [et al.] -- Gentzen methods in quantum logic / Hirokazu Nishimura -- Categorical quantum mechanics / Samson Abramsky, Bob Coecke -- Extending classical logic for reasoning about quantum systems / Rohit Chadha ... [et al.] -- Solèr's theorem / Alexander Prestel -- Operational quantum logic : a survey and analysis / David J. Moore, Frank Valckenborgh -- Test spaces / Alexander Wilce -- Contexts in quantum, classical and partition logic / Karl Svozil -- Nonmonotonicity and holicity in quantum logic / Kurt Engesser, Dov Gabbay, Daniel Lehmann -- A quantum logic of down below / Peter D. Bruza, Dominic Widdows, John H. Woods -- A completeness theorem of quantum set theory / Satoko Titani. |