rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Handbook of quantum logic and quantum structures
    sub title: quantum logic
  title info:
    title: Quantum logic
  name:
    name part: Engesser, Kurt.
  name:
    name part: Gabbay, Dov M.
    name part: 1945-
  name:
    name part: Lehmann, Daniel
    name part: 1946-
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: bibliography
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    place:
      place term: Amsterdam
    place:
      place term: Boston
    publisher: Elsevier/North-Holland
    date issued: ©2009
    date issued: 2009
    edition: 1st ed.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (x, 715 pages) : illustrations
  abstract: 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 which 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.
  table of contents: Foreword / Dvurecenski -- Editorial preface / Kurt Engesser, Dov M. Gabbay, Daniel Lehmann -- 1. The Birkhoff-von Neumann concept of quantum logic / Miklós Rédei -- 2. Is quantum logic a logic? / Mladen Pavičić, Norman D. MegillI -- 3. Is logic empirical? / Guido Bacciagaluppi -- 4. Quantum axiomatics / Diederik Aerts -- 5. Quantum logic and nonclassical logics / Gianpiero Cattaneo, Maria Luisa Dalla Chiara, Roberto Giuntini, Francesco Paoli -- 6. Gentzen Methods in Quantum Logic / Hirokazu Nishimura -- 7. Categorical quantum mechanics / Samson Abramsky, Bob Coecke -- 8. Extending classical logic for reasoning about quantum systems / Rohit Chadha, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas -- 9. Solèr's Theorem / Alexander Prestel -- 10. Operational quantum logic: a survey and analysis / David J. Moore, Frank Valckenborgh -- 11. Test spaces / Alexander Wilce -- 12. Contexts in quantum, classical and partition logic / Karl Svozil -- Nonmonotonicity and holicity in quantum logic / Kurt Engesser, Dov Gabbay and Daniel Lehmann -- 14. Quantum logic of down below / P.D. Bruza, D. Widdows and J.H. Wood -- 15. A completeness theorem of quantum set theory / Satoko Titani.
  note: edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann.
  note: Includes bibliographical references and index.
  subject:
    topic: Quantum logic
  subject:
    topic: Logique quantique
  subject:
    topic: SCIENCE
    topic: Physics
    topic: Quantum Theory
  subject:
    topic: Quantum logic
  classification: QC174.17.M35 H36 2009
  classification: 530.12/015113
  related item:
    title info:
      title: Handbook of quantum logic and quantum structures
    origin info:
      publisher: Amsterdam ; Boston : Elsevier/North-Holland, 2009
      edition: 1st ed.
    identifier: (OCoLC)317878330
  identifier: 9780444528698
  identifier: 0444528695
  identifier: 9780080931661
  identifier: 0080931669
  identifier: 134976:135111 Elsevier Science & Technology
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OPELS
    record creation date: 090810
    record change date: 20260326162925.3
    record identifier: in00005738532
    language of cataloging:
      language term: eng