|
|
|
|
| LEADER |
02963nmm a2200373 u 4500 |
| 001 |
EB000721801 |
| 003 |
EBX01000000000000000574883 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9789401705264
|
| 100 |
1 |
|
|a Dalla Chiara, Maria Luisa
|
| 245 |
0 |
0 |
|a Reasoning in Quantum Theory
|h Elektronische Ressource
|b Sharp and Unsharp Quantum Logics
|c by Maria Luisa Dalla Chiara, Roberto Giuntini, Richard Greechie
|
| 250 |
|
|
|a 1st ed. 2004
|
| 260 |
|
|
|a Dordrecht
|b Springer Netherlands
|c 2004, 2004
|
| 300 |
|
|
|a XXII, 298 p
|b online resource
|
| 505 |
0 |
|
|a I Mathematical and Physical Background -- 1. The mathematical scenario of quantum theory and von Neumann’s axiomatization -- 2. Abstract axiomatic foundations of sharp QT -- 3. Back to Hilbert space -- 4. The emergence of fuzzy events in Hilbert space quantum theory -- 5. Effect algebras and quantum MV algebras -- 6. Abstract axiomatic foundations of unsharp quantum theory -- 7. To what extent is quantum ambiguity ambiguous? -- II Quantum Logics as Logic -- 8. Sharp quantum logics -- 9. Metalogical properties and anomalies of quantum logic -- 10. An axiomatization of OL and OQL -- 11. The metalogical intractability of orthomodularity -- 12. First-order quantum logics and quantum set theories -- 13. Partial classical logic, the Lindenbaum property and the hidden variable problem -- 14. Unsharp quantum logics -- 15. The Brouwer Zadeh logics -- 16. Partial quantum logics and ?ukasiewicz’ quantum logic -- 17. Quantum computational logic -- Conclusions -- Synoptic tables -- Index of Symbols -- Index of Names
|
| 653 |
|
|
|a Quantum Physics
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Algebra
|
| 653 |
|
|
|a Quantum physics
|
| 653 |
|
|
|a Science / Philosophy
|
| 653 |
|
|
|a Order, Lattices, Ordered Algebraic Structures
|
| 653 |
|
|
|a Mathematical Logic and Foundations
|
| 653 |
|
|
|a Philosophy of Science
|
| 700 |
1 |
|
|a Giuntini, Roberto
|e [author]
|
| 700 |
1 |
|
|a Greechie, Richard
|e [author]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Trends in Logic, Studia Logica Library
|
| 028 |
5 |
0 |
|a 10.1007/978-94-017-0526-4
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-94-017-0526-4?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 511.33
|
| 520 |
|
|
|a "Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking. For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to advanced graduate students and researchers of other disciplines
|