Handbook of Quantum Logic and Quantum Structures
Quantum Logic
Published on 26. November 2008
Book
Hardback
726 pages
978-0-444-52869-8 (ISBN)
Description
Quantum mechanics is said to be the most successful physical theory ever. It is, in fact, unique in its success when applied to concrete physical problems. On the other hand, however, it raises profound conceptual problems that are equally unprecedented. Quantum logic, the topic of this volume, can be described as an attempt to cast light on the puzzle of quantum mechanics from the point of view of logic. Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled, "The logic of quantum mechanics,? quantum logic has undergone an enormous development. Various schools of thought and approaches have emerged, and there are a variety of technical results. The chapters of this volume constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
Professional and scholarly
Dimensions
Height: 240 mm
Width: 165 mm
Weight
1500 gr
ISBN-13
978-0-444-52869-8 (9780444528698)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
New editions
Kurt Engesser | Dov M. Gabbay | Daniel Lehmann
Handbook of Quantum Logic and Quantum Structures
Quantum Structures
Book
08/2007
Elsevier
€229.99
Article exhausted; check different version
Additional editions
Kurt Engesser | Dov M. Gabbay | Daniel Lehmann
Handbook of Quantum Logic and Quantum Structures
Quantum Logic
E-Book
06/2009
Elsevier
€175.00
Available for download
Previous edition
Demeter Krupka | David Saunders
Handbook of Global Analysis
Book
11/2007
Elsevier
€222.84
Withdrawn from sale
Persons
Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.
Content
Foreword -Dvurecenski
Editorial Preface -Engesser-Gabbay-Lehmann
1.) The Birkho (R)-von Neumann Concept of Quantum Logic -Redei
2.) Quantum Logic a Logic -Pavicic-MegillIs
3.) Is Logic Empirical -Bacciagaluppi
4.) Quantum Axiomatics -Aerts
5.) Quantum Logic and Nonclassical Logics -Cattaneo-Dalla Chiara-Giuntini-Paoli
6.) Soler's Theorem -Prestel
7.) Operational Quantum Logic: A Survey and Analysis -Moore-Valckenborgh
8.) Test Spaces -Wilce
9.) Lehmann Nonmonotonicity and Holicity in Quantum Logic -Engesser-Gabbay-
10.) Gentzen Methods in Quantum Logic -Nishimura
11.) Extending Classical Logic for Reasoning about Quantum Systems - Chadha-Mateus-Sernadas-Sernadas
12.) Quantum Logic and Categorical Logic -Abramsky-Coecke
13.) Quantum Logic and Linear Logic -Abramsky-Coecke
14.) Contexts in Quantum, Classical and Partition Logics -Svozil
15.) A Quantum Logic of Down Below -Bruza-Widdows-Woods
16.) A Completeness Theorem of Quantum Set Theory -Titani
Editorial Preface -Engesser-Gabbay-Lehmann
1.) The Birkho (R)-von Neumann Concept of Quantum Logic -Redei
2.) Quantum Logic a Logic -Pavicic-MegillIs
3.) Is Logic Empirical -Bacciagaluppi
4.) Quantum Axiomatics -Aerts
5.) Quantum Logic and Nonclassical Logics -Cattaneo-Dalla Chiara-Giuntini-Paoli
6.) Soler's Theorem -Prestel
7.) Operational Quantum Logic: A Survey and Analysis -Moore-Valckenborgh
8.) Test Spaces -Wilce
9.) Lehmann Nonmonotonicity and Holicity in Quantum Logic -Engesser-Gabbay-
10.) Gentzen Methods in Quantum Logic -Nishimura
11.) Extending Classical Logic for Reasoning about Quantum Systems - Chadha-Mateus-Sernadas-Sernadas
12.) Quantum Logic and Categorical Logic -Abramsky-Coecke
13.) Quantum Logic and Linear Logic -Abramsky-Coecke
14.) Contexts in Quantum, Classical and Partition Logics -Svozil
15.) A Quantum Logic of Down Below -Bruza-Widdows-Woods
16.) A Completeness Theorem of Quantum Set Theory -Titani