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.
"synopsis" may belong to another edition of this title.