Test Spaces and Orthoalgebras

  • Alexander Wilce
Part of the Fundamental Theories of Physics book series (FTPH, volume 111)


In a long series of papers published in the 1970s and early 1980s, D. J. Foulis and C. H. Randall developed a conceptually simple, but very compelling semantics for quantum logics and otherwise based on the notion of a manual or, in more recent usage, a test space. A test space is a collection A of non-empty sets, taken to represent the sets of outcomes associated with some collection of measurements, experiments or tests. Subject to a fairly mild constraint, one can construct from a test space A a “logic” II(A) having the structure of an orthoalgebra. All orthoalge-bras arise via this construction. This paper surveys gives an up-to-date survey of the theory of test spaces and orthoalgebras, including a discussion of recent work of the author on group actions on test spaces.


Hilbert Space Complete Lattice Effect Algebra Quantum Logic Central Support 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Bennett, M.K. and Foulis, D.J. (1990) Superposition in quantum and classical mechanics, Foundations of Physics 20, 733–744MathSciNetADSCrossRefGoogle Scholar
  2. [2]
    Berge, C. (1989) Hypergraphs, North-Holland.Google Scholar
  3. [3]
    Bruns, G. and Harding, J. (2000) Algebraic aspects of orthomodular lattices, This volume.Google Scholar
  4. [4]
    Cohen, D. and Svetlichney, G. (1987) Minimal supports in quantum logics, International Journal of Theoretical Physics 27, 435–450.ADSCrossRefGoogle Scholar
  5. [5]
    Cook, T. (1985) Banach spaces of weights on test spaces, International Jour-nal of Theoretical Physics 24, 1113–1131.ADSzbMATHCrossRefGoogle Scholar
  6. [6]
    Cooke, R. and Hilgevoorde, J. (1981) A new approach to equivalence in quan-tum logic, in E. Beltrametti and B. van Fraassen, Current Issues in Quantum Logic, Plenum, New York and London.Google Scholar
  7. [7]
    Einstein, A., Podolsky, B. and Rosen, N. (1935) Can quantum mechanical description of reality be considered complete? Physical Review 47, 777–780.ADSzbMATHCrossRefGoogle Scholar
  8. [8]
    Feldman, D.V. and Wilce, A. (1993) o-Additivity in manuals and orthoalge-bras, Order 10, 383–392.MathSciNetzbMATHCrossRefGoogle Scholar
  9. [9]
    Foulis, D.J. (2000) Representations of groups on unigroups, This volume.Google Scholar
  10. [10]
    Foulis, D.J. and Bennett, M.K. (1998) A generalized Sasaki projection for effect algebras, Tatra Mountains Mathematical Publications 15, 55–66.MathSciNetzbMATHGoogle Scholar
  11. [11]
    Foulis, D.J. Greechie, R.J. and Riittimann, G.T. (1993) Filters and supports in orthoalgebras, International Journal of Theoretical Physics 31, 789–807.ADSCrossRefGoogle Scholar
  12. [12]
    Foulis, D.J., Piron, C. and Randall, C.H. (1985) Realism, operationalism and quantum mechanics, Foundations of Physics 13, 813–842.MathSciNetADSCrossRefGoogle Scholar
  13. [13]
    Foulis, D.J. and Randall, C.H. (1981) What are quantum logics and what ought they to be? In E. Beltrametti and B. van Fraassen (eds.), Current Issues in Quantum Logic, Plenum, New York and London.Google Scholar
  14. [14]
    Foulis, D.J. and Wilce, A. (2000) Free extensions of group actions, induced representations, and the foundations of physics, This volume.Google Scholar
  15. [15]
    Gleason, A.M. (1957) Measures on the closed subspaces of a Hilbert space, Journal of Mathematics and Mechanics 6, 885–893.MathSciNetzbMATHGoogle Scholar
  16. [16]
    Greechie, R.J., Foulis, D.J. and Pulmannovâ, S. (1995) The center of an effect algebra, Order 12, 91–106.MathSciNetzbMATHCrossRefGoogle Scholar
  17. [17]
    Golfin, A.S.Jr. (1988) Representations of Complete Lattices, Doctoral Dissertation, University of Massachusetts, Amherst.Google Scholar
  18. [18]
    Gudder, S. (1971) Representations of groups by automorphisms of orthomodular lattices and posets, Canadian Journal of Mathematics 23, 659–673.MathSciNetzbMATHCrossRefGoogle Scholar
  19. [19]
    Gudder, S. (1988) Quantum Probability, Academic Press, San Diego.Google Scholar
  20. [20]
    Kalmbach, G. (1983) Orthomodular lattices, Academic Press.Google Scholar
  21. [21]
    Lock, P. (1980) Categories of Manuals, Doctoral Dissertation, University of Massachusetts, Amherst.Google Scholar
  22. [22]
    Mackey, G. (1989) Unitary Group Representations, Addison-Wesley.Google Scholar
  23. [23]
    Pulmannovâ, S. and Wilce, A. (1995) Representations of D-posets, International Journal of Theoretical Physics 34, 1689–1696.MathSciNetADSzbMATHCrossRefGoogle Scholar
  24. [24]
    Randall, C.H. and Foulis, D.J. (1970) An approach to empirical logic, American Mathematical Monthly 71, 363–374.MathSciNetCrossRefGoogle Scholar
  25. [25]
    Randall, C.H. and Foulis, D.J. (1978) The operational approach to quantum mechanics, in Hooker ed., The Logico-Algebraic Approach to Quantum Mechanics, D. Riedel, Dordrecht.Google Scholar
  26. [26]
    Randall, C.H. and Foulis, D.J. (1983) Properties and operational propositions in quantum mechanics, Foundations of Physics 13, 843–857.MathSciNetADSCrossRefGoogle Scholar
  27. [27]
    Randall, C.H. and Foulis, D.J. (1983) A mathematical language for quantum physics, in C. Gruber, C. Piron, T. M. Tâm and R. Weill (eds.), Les fondements de la mécanique quantique AVCP, Lausanne.Google Scholar
  28. [28]
    von Neumann, J. (1932) Mathematische Grundlagen der Quantenmechanik, Springer, Berlin (Reissued in English translation as Mathematical Foundations of Quantum Mechanics by Princeton University Press, 1957 ).Google Scholar
  29. [29]
    Wilce, A. (1992) Tensor products in generalized measure Theory, International Journal of Theoretical Physics 31, 1915–1928.MathSciNetADSzbMATHCrossRefGoogle Scholar
  30. [30]
    Wilce, A. (n.d.) Spaces of vector-valued weights on test spaces, Preprint.Google Scholar
  31. [31]
    Wilce, A. (1998) Perspectivity and congruence in partial abelian semigroups, Mathematica Slovaca 48, 117–135.MathSciNetADSzbMATHGoogle Scholar
  32. [32]
    Wilce, A. (1997) Symmetric test spaces, in S. P. Hotaling and A. R. Pirich (Eds.), Proceedings of SPIE 3076, 111–130.Google Scholar
  33. [33]
    Wilce, A. (2000) On generalized Sasaki projections, International Journal of Theoretical Physics, To appear.Google Scholar
  34. [34]
    Wright, R. (1977) The structure of projection-valued states, International Journal of Theoretical Physics 16, 567–573.MathSciNetADSzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2000

Authors and Affiliations

  • Alexander Wilce
    • 1
  1. 1.Department of Mathematics and Computer ScienceJuniata CollegeHuntingdonUSA

Personalised recommendations