Handbook of quantum logic and quantum structures : quantum logic /
General Material Designation
[book]
First Statement of Responsibility
edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann.
EDITION STATEMENT
Edition Statement
1st ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam ; Boston, Mass. :
Name of Publisher, Distributor, etc.
Elsevier/North-Holland,
Date of Publication, Distribution, etc.
2009.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 715 p.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
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.
0
TOPICAL NAME USED AS SUBJECT
Quantum logic -- Handbooks, manuals, etc.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QC
174
.
17
Book number
.
M35
H36
2009
PERSONAL NAME - SECONDARY RESPONSIBILITY
Engesser, Kurt, editor.
Gabbay, Dov M., 1945- , editor.
Lehmann, Daniel, 1946- , editor.
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of College of Fine Arts