Current Research in Operational Quantum Logic: Algebras, Categories, Languages by Bob CoeckeCurrent Research in Operational Quantum Logic: Algebras, Categories, Languages by Bob Coecke

Current Research in Operational Quantum Logic: Algebras, Categories, Languages

byBob Coecke

Paperback | December 6, 2010

Pricing and Purchase Info

$181.54 online 
$206.95 list price save 12%
Earn 908 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This edited volume gives an overview of the concepts and methods used in current research in quantum logic, viewed both as an operational physical theory and in terms of purely mathematical structure. Far from being simply a collation of research papers, it consists of 11 specially commissioned essays that, taken together, provide both an introduction to quantum logic and an overview of current research in this subject. The contributors, who include some of the most distinguished names in the field, discuss topics ranging from the algebraic theory of orthomodular lattices to recent applications of category-theoretic methods and connections with theoretical computer science. Moreover, an historical overview of the field and an extensive citation and concept index are included. Audience: This volume, dedicated to D.J. Foulis in honour of his seminal contributions to quantum logic, should interest pure mathematicians, theoretical physicists, computer scientists and philosophers of science.
Title:Current Research in Operational Quantum Logic: Algebras, Categories, LanguagesFormat:PaperbackDimensions:325 pages, 23.5 × 15.5 × 0.01 inPublished:December 6, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048154375

ISBN - 13:9789048154371

Look for similar items by category:


Table of Contents

Introduction. Operational quantum logic: An overview; B. Coecke, et al. I: Algebras. Algebraic aspects of orthomodular lattices; G. Bruns, J. Harding. Observables in the logico-algebraic approach; P. Pták. Test spaces and orthoalgebras; A. Wilce. Representations on unigroups; D.J. Foulis. Free extensions of group actions, induced representations, and the foundations of physics; D.J. Foulis, A. Wilce. II: Categories. Short introduction to enriched categories; F. Borceux, I. Stubbe. Operational Galois adjunctions; B. Coecke, D. Moore. Operational axiomatics and compound systems; F. Valckenborgh. Quantales; J. Paseka, J. Rosický. III: Languages. Quantales and observational semantics; P. Resende. Quantum languages; S. Gudder. Indices. Concept index. Citation index.