Screen LibraryHandbook 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. |