Handbook of Quantum Logic and Quantum Structures

Foreword -DvurecenskiEditorial Preface -Engesser-Gabbay-Lehmann1.) The Birkho®-von Neumann Concept of Quantum Logic -Redei2.) Quantum Logic a Logic -Pavicic-MegillIs3.) Is Logic Empirical -Bacciagaluppi4.) Quantum Axiomatics -Aerts5.) Quantum Logic and Nonclassical Logics -Cattaneo-Dalla Chiara-Giuntini-Paoli6.) Soler's Theorem -Prestel7.) Operational Quantum Logic: A Survey and Analysis -Moore-Valckenborgh8.) Test Spaces -Wilce9.) Lehmann Nonmonotonicity and Holicity in Quantum Logic -Engesser-Gabbay-10.) Gentzen Methods in Quantum Logic -Nishimura11.) Extending Classical Logic for Reasoning about Quantum Systems - Chadha-Mateus-Sernadas-Sernadas12.) Quantum Logic and Categorical Logic -Abramsky-Coecke13.) Quantum Logic and Linear Logic -Abramsky-Coecke14.) Contexts in Quantum, Classical and Partition Logics -Svozil15.) A Quantum Logic of Down Below -Bruza-Widdows-Woods16.) A Completeness Theorem of Quantum Set Theory -Titani