Propositional systems, Hilbert lattices and generalized hilbert spaces

Handbook of Quantum Logic and Quantum Structures

Volumn , Issue , 2007, Pages 477-523

  Stubbe, Isar ^a   Steirteghem, Bart Van ^b  

^a UNIVERSITY OF ANTWERP   (Belgium)

^b INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 60949110230     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-044452870-4/50033-9     Document Type: Chapter

References (38)

1. Aerts D., Steirteghem B.Van Quantum axiomatics and a theorem of M.P. Solèr. Int. J. Theor. Phys. 2000, 39:497-502.
2. Amemiya I., Araki H. A Remark on Piron's Paper. Publ. Res. Inst. Math. Sci. Ser. A 1966, 2:423-427.
3. Artin E. Geometric algebra 1957, Interscience Publishers, New York.
4. Baer R. Linear algebra and projective geometry 1952, Academic Press, New York.
5. Beutelspacher A., Rosenbaum U. Projective Geometry. From foundations to applications 1998, Cambridge University Press, Cambridge.
6. Birkhoff G. Lattice theory 1967, Am. Math. Soc., Providence. 3rd edition.
7. Birkhoff G., Neumann J.von The logic of quantum mechanics. Ann. of Math. 1936, 37:823-843.
8. Borceux F. Handbook of categorical algebra 1994, 3 volumes. Cambridge University Press, Cambridge.
9. Buekenhout F. A theorem of Parmentier characterizing projective spaces by polarities. London Math. Soc. Lecture Note Ser. 191 1993, 69-71. Camridge University Press.
10. Coecke B., Smets S. The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes. Internat. J. Theoret. Phys. 2004, 43:1705-1736.
11. Eckmann J.-P., Zabey Ph.-Ch. Impossibility of quantum mechanics in a Hilbert space over a finite field. Helv. Phys. Acta 1969, 42:420-424.
12. Engesser K., Gabbay D.M. Quantum logic, Hilbert space, revision theory. Artificial Intelligence 2002, 136:61-100.
13. Faure C.-A. An elementary proof of the fundamental theorem of projective geometry. Geom. Ded. 2002, 90:145-151.
14. Faure C.-A. Morphisms of projective spaces over rings. Adv. Geom. 2004, 4:19-31.
15. Faure C.-A., Frölicher A. Morphisms of projective geometries and of corresponding lattices. Geom. Ded. 1993, 47:25-40.
16. Faure C.-A., Frölicher A. Morphisms of Projective Geometries and Semilinear Maps. Geom. Ded. 1994, 53:237-262.
17. Faure C.-A., Frölicher A. Dualities for Infinite-Dimensional Projective Geometries. Geom. Ded. 1995, 56:225-236.
18. Faure C.-A., Frölicher A. The dimension theorem in axiomatic geometry. Geom. Ded. 1996, 60:207-218.
19. Faure C.-A., Frölicher A. Modern projective geometry 2000, Kluwer Academic Publishers, Dordrecht.
20. Grätzer G. General lattice theory 1998, Birkhäuser Verlag, Basel. 2nd edition.
21. Holland S.S. Orthomodularity in infinite dimensions; a theorem of M. Solèr. Bull. Amer. Math. Soc. 1995, 32:205-234.
22. Ivert P.-A., Sjödin T. On the impossibility of a finite propositional system for quantum mechanics. Helv. Phys. Acta 1978, 51:635-636.
23. Kalmbach G. Orthomodular lattices. London Mathematical Society Monographs 1983, 18. Academic Press Inc., London.
24. Keller H.A. Ein nicht-klassicher Hilbertscher Raum. Math. Z. 1980, 172:41-49.
25. Lane S.Mac Categories for the working mathematician 1971, Springer-Verlag, New York.
26. Maeda F., Maeda S. Theory of Symmetric Lattices 1970, Springer-Verlag, New York.
27. Mayet R. Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms. Int. J. Theor. Phys. 1998, 37:109-114.
28. Moore D.J. Representations of physical systems. Helv. Phys. Acta 1995, 68:658-678.
29. Moore D.J. On state spaces and property lattices. Stud. Hist. Philos. Sci. B Stud. Hist. Philos. Modern Phys. 1999, 30:61-83.
30. Morash R.P. Angle bisection and orthoautomorphisms in Hilbert lattices. Canad. J. Math. 1973, 25:261-272.
31. Moulton F.R. A simple non-Desarguesian plane geometry. Trans. Amer. Math. Soc. 1902, 3:192-195.
32. Piron C. Axiomatique Quantique. Helv. Phys. Acta 1964, 37:439-468.
33. Piron C. Foundations of Quantum Physics 1976, W. A. Benjamin, Inc., Reading.
34. A. Prestel. Solèr's Theorem, this volume.
35. Sasaki U. Orthocomplemented lattices satisfying the exchange axiom. J. Sci. Hiroshima Univ. Ser. A. 1954, 17:293-302.
36. Schwartz L. Analyse, deuxième partie: Topologie générale et analyse fonctionnelle 1970, Hermann, Paris.
37. Solèr M.P. Characterization of Hilbert spaces with orthomodular spaces. Comm. Algebra 1995, 23:219-243.
38. Veblen O., Young J.W. Projective Geometry 1918, Ginn and Co., Boston.