A logical description for perfect measurements

International Journal of Theoretical Physics

Volumn 39, Issue 3, 2000, Pages 595-603

  Coecke, Bob ^a,b   Smets, Sonja ^a,b  

^a FREE UNIVERSITY OF BRUSSELS   (Belgium)

^b Flanders' Fund for Scientific Research   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034348419     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1003629502815     Document Type: Article

References (28)

1. Birkhoff, G., and von Neumann, J. (1936). Ann. Math. 37, 823.
2. Husimi, K. (1937). Proc. Physicomath. Soc. Japan 19, 766.
3. Sasaki, U. (1954). J. Sci. Hiroshima Univ. A17, 293.
4. Foulis, D. J. (1960). Proc. AMS 11, 648.
5. Jauch, J. M. (1968). Foundations of Quantum Mechanics, Addison-Wesley, Reading, Massachusetts.
6. Jauch, J. M., and Piron, C. (1969). Helv. Phys. Acta 42, 842.
7. Piron, C. (1964). Helv. Phys. Acta 37, 439.
8. Pool, J. C. T. (1968). Comm. Math. Phys. 9, 118.
9. Piron, C. (1976). Foundations of Quantum Physics, Benjamin, New York.
10. Piron, C. (1977). J. Phil. Logic 6, 481.
11. Gisin, N., and Piron, C. (1981). Lett. Math. Phys. 5, 379.
12. Aerts, D. (1982). Found. Phys. 12, 1131.
13. Foulis, D. J., Randall, C. H., and Piron, C. (1983). Found. Phys. 13, 813.
14. Foulis, D. J., and Randall, C. H. (1984). Found. Phys. 14, 65.
15. Kalmbach, G. (1983). Orthomodular Lattices, Academic Press, New York.
16. Mulvey, C. J. (1986). Rend. Circ. Math. Palermo 12, 99.
17. Girard, J. Y. (1987). Theor. Cornp. Sci. 50, 1.
18. Girard, J. Y. (1989). Contemp. Math. 92, 69.
19. Abrusci, V. M. (1990). Z. Math. Logik Grundl. Math. 36, 297.
20. Abrusci, V. M. (1991). J. Symbolic Logic 56, 1403.
21. Faure, C.-A., Moore, D. J., and Piron, C. (1995). Helv. Phys. Acta 68, 150.
22. Moore, D. J. (1995). Helv. Phys. Acta 68, 658.
23. Piron, C. (1995). Int. J. Theor. Phys. 34, 1681.
24. Amira, H., Coecke, B., and Stubbe, I. (1998). Helv. Phys. Acta 71, 554.
25. Coecke, B., and Stubbe, I. (1999). Found. Phys. Lett 13, (2).
26. Coecke, B., and Stubbe, I. (1999). State transitions as morphisms for complete lattices, Int. J. Theor. Phys., this issue.
27. Moore, D. J. (1999). On state spaces and property lattices, Stud. Hist. Phil. Mod. Phys., to appear.
28. Coecke, B., and Smets, S. (n.d.). Combining quantum and linear logic for propagating physical properties, in preparation.