Handbook of Quantum Logic and Quantum Structures :Quantum Logic

Publication subTitle :Quantum Logic

Author: Engesser   Kurt;Gabbay   Dov M.;Lehmann   Daniel  

Publisher: Elsevier Science‎

Publication year: 2009

E-ISBN: 9780080931661

P-ISBN(Paperback): 9780444528698

P-ISBN(Hardback):  9780444528698

Subject: O413 quantum theory

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

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.

• Authored by eminent scholars in the field
• Material presented is of recent origin representing the frontier of the subject.
• Provides the most comprehensive and varied discussion of Quantum Mechanics available.

Chapter

Front Cover

pp.:  1 – 4

Copyright Page

pp.:  5 – 6

Contents

pp.:  6 – 8

Foreword

pp.:  8 – 10

Editorial Preface

pp.:  10 – 12

Chapter 3 Is Logic Empirical?

pp.:  60 – 90

Chapter 4 Quantum Axiomatics

pp.:  90 – 138

Chapter 5 Quantum Logic and Nonclassical Logics

pp.:  138 – 238

Chapter 6 Gentzen Methods in Quantum Logic

pp.:  238 – 272

Chapter 7 Categorical Quantum Mechanics

pp.:  272 – 336

Chapter 8 Extending Classical Logic for Reasoning about Quantum Systems

pp.:  336 – 384

Chapter 9 Solèr's Theorem

pp.:  384 – 400

Chapter 10 Operational Quantum Logic: A Survey and Analysis

pp.:  400 – 454

Chapter 11 Test Spaces

pp.:  454 – 562

Chapter 12 Contexts in Quantum, Classical and Partition Logic

pp.:  562 – 598

Chapter 13 Nonmonotonicity and Holicity in Quantum Logic

pp.:  598 – 636

Chapter 14 A Quantum Logic of Down Below

pp.:  636 – 672

Chapter 15 A Completeness Theorem of Quantum Set Theory

pp.:  672 – 714

Index

pp.:  714 – 728

The users who browse this book also browse


No browse record.