Quantum Logic and Nonclassical Logics

Handbook of Quantum Logic and Quantum Structures

Volumn , Issue , 2009, Pages 127-226

  Cattaneo, Gianpiero ^a   Luisa Dalla Chiara, Maria ^a   Giuntini, Roberto ^a   Paoli, Francesco ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 78651230735     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-0-444-52869-8.50008-6     Document Type: Chapter

References (180)

1. Aerts D., Van Steirteghem B. Quantum axiomatics and a theorem of M. P. Solér. International Journal of Theoretical Physics 2000, 39:497-502.
2. T. Altenkirch and J. Grattage, A functional quantum programming language, Proceedings of the XX Annual Symposium on Logic and Computer Science, IEEE, 2005.
3. Arrighi P., Dowek G. Operational semantics for formal tensorial calculus, Languages 2004, Turku Centre for Computer Science. P. Selinger (Ed.).
4. Battilotti G. Embedding classical logic into basic orthologic with a primitive modality. Logic Journal of the IGPL 1998, 6:383-402.
5. Battilotti G., Faggian C. Quantum logic and the cube of logics. Handbook of Philosophical Logic 2002, vol. 6:213-226. Kluwer Academic Publishers, Dordrecht, section 17 in [Dalla Chiara and Giuntini, 2002]. D.M. Gabbay, F. Guenthner (Eds.).
6. Battilotti G., Sambin G. Basic logic and the cube of its extensions. Logic and Foundations of Mathematics 1999, 165-186. Kluwer Academic Publishers, Dordrecht. A. Cantini, E. Casari, P. Minari (Eds.).
7. Beltrametti E., Bugajski S. A classical extension of quantum mechanics. Journal of Physics A: Mathematical and General 1995, 28:247-261.
8. Beltrametti E., Bugajski S. Effect algebras and statistical physical theories. Journal of Mathematical Physics 1997, 38:3020-3030.
9. Beltrametti E., Cassinelli G. The logic of quantum mechanics, Encyclopedia of Mathematics and its Applications 1981, vol. 15. Addison-Wesley, Reading.
10. Bennett M.K., Foulis D.J. Interval and scale effect algebras. Advances in Mathematics 1997, 19:200-215.
11. Birkhoff G. Lattice Theory, 3 rd (new) ed., Colloquium Publications 1967, vol. 25. American Mathematical Society, Providence.
12. Birkhoff G., von Neumann J. The logic of quantum mechanics. Annals of Mathematics 1936, 37:823-843. in [von Neumann, 1961b].
13. Bruns G., Greechie R.J., Harding J., Roddy M. Completions of orthomodular lattices. Order 1990, 7:789-807.
14. Bub J. Interpreting the quantum world 1999, Cambridge University Press, Cambridge.
15. Bugajski S. Delinearization of quantum logic. International Journal of Theoretical Physics 1993, 32:389-398.
16. Busch P. Elements of unsharp reality in the EPR experiment, Symposium on the Foundations of Modern Physics 1985, 343-357. World Scientific, Singapore. P. Lahti, P. Mittelstaedt (Eds.).
17. Busch P., Grabowski M., Lahti P. Operational quantum mechanics, Lectures Notes in Physics, no. m31 1995, Springer, Berlin.
18. Busch P., Lahti P., Mittelstaedt P. The quantum theory of measurement, Lectures Notes in Physics, no. m2 1991, Springer, Berlin.
19. Cattaneo G. Fuzzy quantum logic II: the logics of unsharp quantum mechanics. International Journal of Theoretical Physics 1993, 32:1709-1734.
20. Cattaneo G. A unified framework for the algebra of unsharp quantum mechanics. International Journal of Theoretical Physics 1997, 36:3085-3117.
21. Cattaneo G., Dalla Chiara M.L., Giuntini R. How many notions of'sharp'?. International Journal of Theoretical Physics 1999, 38:3153-3161.
22. Cattaneo G., Garola C., Nisticó G. Preparation-effect versus question-proposition structures. Physics Essays 1989, 2:197-216.
23. Cattaneo G., Giuntini R. Some results on BZ structures from hilbertian unsharp quantum physics. Foundations of Physics 1995, 25:1147-1182.
24. Cattaneo G., Gudder S.P. Algebraic structures arising in axiomatic unsharp quantum physics. Foundations of Physics 1999, 29:1607-1637.
25. Cattaneo G., Laudisa F. Axiomatic unsharp quantum theory (from Mackey to Ludwig). Foundations of Physics 1994, 24:631-683.
26. Cattaneo G., Nisticó G. Brouwer-Zadeh posets and three-valued Lukasiewicz posets. Fuzzy Sets and Systems 1986, 33:165-190.
27. Chang C.C. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society 1958, 88:74-80.
28. Chang C.C. A new proof of the completeness of Lukasiewicz axioms. Transactions of the American Mathematical Society 1959, 93:467-490.
29. Cignoli R., D'Ottaviano I.M.L., Mundici D. Algebraic foundations of many-valued reasoning, Trends in Logic 2000, vol. 7. Kluwer Academic Publishers, Dordrecht.
30. Coecke B., Moore D., Wilce A. Operational quantum logic: An overview, Current Research in Operational Quantum Logic 2000, 1-36. Kluwer, Dordrecht. B. Coecke, D. Moore, A. Wilce (Eds.).
31. Cutland N.J., Gibbins P.F. A regular sequent calculus for quantum logic in which and ?are dual. Logique et Analyse-Nouvelle Serie-25 1982, (45):221-248.
32. da Costa N.C.A., Krause D. Remarks on the applications of paraconsistent logic to physics, Filosofi a, Ciencia e Historia 2005, 337-359. Discurso Editorial, S. Paulo. M. Pietrocola, O. Freire (Eds.).
33. da Costa N.C.A., Krause D., Bueno O. Paraconsistent logic and paraconsistency: Technical and philosophical developments, Handbook of Philosophy of Science 2006, Elsevier, Amsterdam. D. Jacquette (Ed.).
34. Dalla M.L. Chiara, Some metalogical pathologies of quantum logic, Current Issues in Quantum Logic. Ettore Majorana International Science Series 1981, vol. 8:147-159. Plenum, New York. E. Beltrametti, B. van Fraassen (Eds.).
35. Dalla M.L. Chiara and R. Giuntini, Paraconsistent quantum logics. Foundations of Physics 1989, 19:891-904.
36. Dalla M.L. Chiara and R. Giuntini. Unsharp quantum logics. Foundations of Physics 1994, 24:1161-1177.
37. Dalla M.L. Chiara and R. Giuntini. The logics of orthoalgebras. Studia Logica 1995, 55:3-22.
38. Dalla Chiara M.L., Giuntini R. Lukasiewicz theory of truth, from the quantum logical point of view, Alfred Tarski and the Vienna Circle 1999, 127-134. Kluwer, Dordrecht. J. Wolénski, E. Köhler (Eds.).
39. Dalla Chiara M.L., Giuntini R. Quantum logics, Handbook of Philosophical Logic 2002, vol. 6:129-228. Kluwer Academic Publishers, Dordrecht. D.M. Gabbay, F. Guenthner (Eds.).
40. Dalla Chiara M.L., Giuntini R., Greechie R. Reasoning in quantum theory. Sharp and unsharp quantum logics 2004, Kluwer Academic Publishers, Dordrecht.
41. Dalla Chiara M.L., Giuntini R., Leporini R. Quantum Computational Logics. A Survey, Studia Logica 2003, 21:213-255.
42. Dalla Chiara M.L., Giuntini R., Leporini R. Quantum computational logics and Fock space semantics. International Journal of Quantum Information 2004, 2:1-8.
43. Dalla Chiara M.L., Giuntini R., Leporini R. Logics from quantum computation. International Journal of Quantum Information 2005, 3:293-337.
44. M. L. Dalla Chiara, R. Giuntini and R. Leporini, Compositional and Holistic Quantum Computational Semantics, to appear in Natural Computing, 2006.
45. Danos V., Reignier L. The structure of multiplicatives. Archive for Mathematical Logic 1989, 28:181-203.
46. Davies E.B. Quantum theory of open systems 1976, Academic, New York.
47. Destouches-Février P. Les relations d'incertitude de Heisenberg et la logique. Comptes Rendus de l'Académie de Sciences 1937, 204:481-483.
48. Dishkant H. Semantics of the minimal logic of quantum mechanics. Studia Logica 1972, 30:17-29.
49. Dunn J.M., Hardegree G.M. Algebraic methods in philosophical logic 2001, Clarendon Press, Oxford.
50. Dvurečenskij A. Gleason's theorem and its applications, Mathematics and its Applications, no. 60 1993, Kluwer, Dordrecht.
51. Dvurečenskij A. Measures and ⊥-decomposable measures of effects of a Hilbert space. Atti del Seminario Matematico e Fisico dell'Università di Modena 1997, 45:259-288.
52. Dvurečenskij A. New trends in quantum structures, Mathematics and Its Applications 2000, vol. 516. Kluwer Academic Publishers, Dordrecht.
53. Einstein A., Podolsky B., Rosen N. Can quantum-mechanical description of reality be considered complete?. Physical Review 1935, 47:777-780.
54. Engesser K., Gabbay D. Quantum logic, Hilbert space, revision theory. Artificial Intelligence 2002, 136:61-100.
55. Faggian C. Classical proofs via basic logic, Computer Science Logic 11th International Workshop, CSL'97. Lecture Notes in Computer Science 1998, vol. 1414:203-219. Springer Verlag. M. Nielson, W. Thomas (Eds.).
56. Faggian C., Sambin G. From basic logic to quantum logics with cut-elimination. International Journal of Theoretical Physics 1997, 12:31-37.
57. Finch P.D. Quantum logic as an implication algebra. Bulletin of the Australian Mathematical Society 1970, 2:101-106.
58. Fitting M. Intuitionistic logic, model theory and forcing 1969, North-Holland, Amsterdam.
59. Foulis D.J. A half-century of quantum logic, what have we learned?. Quantum Structures and the Nature of Reality 1999, vol. 7:1-36. Kluwer Academic Publishers, Dordrecht. D. Aerts, J. Pykacz (Eds.).
60. Foulis D.J. MV and Heyting effect algebras. Foundations of Physics 2000, 30:1687-1706.
61. Foulis D.J., Bennett M.K. Effect algebras and unsharp quantum logics. Foundations of Physics 1994, 24:1325-1346.
62. Foulis D.J., Greechie R.J. Specification of finite effect algebras. International Journal of Theoretical Physics 2000, 39:665-676.
63. Foulis D.J., Randall C.H. Empirical logic and tensor product, Interpretation and Foundations of Quantum Mechanics, Grundlagen der exakten Naturwissenschaften 1981, vol. 5:9-20. Bibliographisches Institut, Mannheim.
64. Foulis D.J., Randall C.H. Properties and operational propositions in quantum mechanics. Foundations of Physics 1983, 13:843-857.
65. Foulis D.J., Greechie R.J., Dalla Chiara M.L., Giuntini R. Quantum Logic. Encyclopedia of Applied Physics 1996, vol. 15:229-255. VCH Publishers. G. Trigg (Ed.).
66. J. Gallier, Constructive Logics. II: Linear Logic and Proof Nets, Research Report no. 9, Digital PRL, 1991.
67. Garola C. Propositions and orthocomplementation in quantum logic. International Journal of Theoretical Physics 1980, 19:369-378.
68. Garola C. Embedding of posets into lattices in quantum logic. International Journal of Theoretical Physics 1985, 24:423-433.
69. Gibbins P.F. A user-friendly quantum logic. Logique-et-Analyse.-NouvelleSerie 1985, 28:353-362.
70. Gibbins P.F. Particles and paradoxes-the limits of quantum logic 1987, Cambridge University Press, Cambridge.
71. Girard J.Y. Linear logic. Theoretical Computer Science 1987, 50:1-102.
72. Girard J.-Y. Proofnets: The parallel syntax for proof theory, Logic and Algebra 1996, 97-124. Dekker, New York. A. Ursini, P. Aglianó (Eds.).
73. Girard J.-Y. Coherent Banach spaces: A continuous denotational semantics. Theoretical Computer Science 1999, 227:275-297.
74. Girard J.-Y. Between logic and quantic: A tract, Linear Logic in Computer Science 2004, 346-390. Cambridge University Press, Cambridge. P. Ruet, J. Ehrhard, J.-Y. Girard, P. Scott (Eds.).
75. J.-Y. Girard, Logique à Rome, electronic notes, Ch. 17, 2004.
76. Giuntini R. Brouwer-Zadeh logic and the operational approach to quantum mechanics. Foundations of Physics 1990, 20:701-714.
77. Giuntini R. Quantum logic and hidden variables, Grundlagen der exakten Naturwissenschaften, no. 8 1991, Bibliographisches Institut, Mannheim.
78. Giuntini R. A semantical investigation on Brouwer-Zadeh logic. Journal of Philosophical Logic 1991, 20:411-433.
79. Giuntini R. Brouwer-Zadeh logic, decidability and bimodal systems. Studia Logica 1992, 51:97-112.
80. Giuntini R. Three-valued Brouwer-Zadeh logic. International Journal of Theoretical Physics 1993, 32:1875-1887.
81. Giuntini R. Quasilinear QMV algebras. International Journal of Theoretical Physics 1995, 34:1397-1407.
82. Giuntini R. Unsharp orthoalgebras and quantum MV algebras, The Foundations of Quantum Mechanics-Historical Analysis and Open Questions 1995, 325-337. Kluwer, Dordrecht. C. Garola, A. Rossi (Eds.).
83. Giuntini R. Quantum MV algebras. Studia Logica 1996, 56:393-417.
84. Giuntini R. An independent axiomatization of QMV algebras, The Foundations of Quantum Mechanics 2000, World Scientific, Singapore. C. Garola, A. Rossi (Eds.).
85. Giuntini R. Weakly linear QMV algebras. Algebra Universalis 2005, 531:45-72.
86. Giuntini R., Greuling H. Toward an unsharp language for unsharp properties. Foundations of Physics 1989, 19:931-945.
87. Giuntini R., Pulmannová S. Ideals and congruences in QMV algebras. Communications in Algebra 2000, 28:1567-1592.
88. Gleason A.M. Measures on the closed subspaces of a Hilbert space. Journal of Mathematics and Mechanics 1957, 6:885-893.
89. Goldblatt R. Semantical analysis of orthologic. Journal of Philosophical Logic 1974, 3:19-35.
90. Goldblatt R. Orthomodularity is not elementary. The Journal of Symbolic Logic 1984, 49:401-404.
91. Greechie R.J. On the structure of orthomodular lattices satisfying the chain condition. Journal of Combinatorial Theory 1968, 4:210-218.
92. Greechie R.J. Some results from the combinatorial approach to quantum logic. Synthese 1974, 29:113-127.
93. Greechie R.J. A non-standard quantum logic with a strong set of states, Current Issues in Quantum Logic. Ettore Majorana International Science Series 1981, vol. 8:375-380. Plenum, New York. E. Beltrametti, B. van Fraassen (Eds.).
94. Greechie R.J., Foulis D.J. The transition to effect algebras. International Journal of Theoretical Physics 1995, 34:1369-1382.
95. Gudder S.P. A survey of axiomatic quantum mechanics, The Logico-Algebraic Approach to Quantum Mechanics 1979, vol. II:323-363. Reidel, Dordrecht. C.A. Hooker (Ed.).
96. Gudder S.P. Total extensions of effect algebras. Foundations of Physics Letters 1995, 8:243-252.
97. Gudder S.P. Sharply dominating effect algebras. Tatra Mountains Mathematical Publications 1998, 15:23-30.
98. Gudder S. Quantum computational logic. International Journal of Theoretical Physics 2003, 42:39-47.
99. Gudder S.P., Greechie R.J. Effect algebra counterexamples. Mathematica Slovaca 1996, 46:317-325.
100. Hájek P. Metamathematics of fuzzy logic, Trends in Logic 1998, vol. 4. Kluwer Academic Publishers, Dordrecht.
101. Halmos P.R. Introduction to Hilbert space and the theory of spectral multiplicity 1951, Chelsea, New York.
102. Hardegree G.M. Stalnaker conditionals and quantum logic. Journal of Philsophical Logic 1975, 4:399-421.
103. Hardegree G.M. The conditional in quantum logic, Logic and Probability in Quantum Mechanics 1976, 55-72. Reidel, Dordrecht. P. Suppes (Ed.).
104. Hardegree G.M. An axiom system for orthomodular quantum logic. Studia Logica 1981, 40:1-12.
105. Holland S.S. Orthomodularity in infinite dimensions: a theorem of M. Solèr. Bulletin of the American Mathematical Society 1995, 32:205-232.
106. Howard W.A. The formulae-as-types notion of construction, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism 1980, 479-490. Academic Press, New York. J.R. Hindley, J. Seldin (Eds.).
107. Hughes R.I.G. Semantic alternatives in partial Boolean quantum logic. Journal of Philosophical Logic 1985, 14:411-446.
108. Hughes R.I.G. The structure and interpretation of quantum mechanics 1987, Cambridge University Press, Cambridge.
109. D. J. D. Hughes, R. J. van Glabbeek, Proof nets for unit free multiplicative additive linear logic (extended abstract), Proceedings of the XVIII Annual Symposium on Logic and Computer Science, IEEE, 2003, pp. 1-10.
110. Jammer M. The philosophy of quantum mechanics 1974, Wiley-Interscience, New York.
111. Jauch J.M. Foundations of quantum mechanics 1968, Addison-Wesley, London.
112. Kalmbach G. Orthomodular lattices 1983, Academic Press, New York.
113. Keller H.A. Ein nichtklassischer hilbertscher Raum. Mathematische Zeitschrift 1980, 172:41-49.
114. Kochen S., Specker E.P. The calculus of partial propositional functions, Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science 1965, 45-57. North-Holland, Amsterdam. Y. Bar-Hillel (Ed.).
115. Kochen S., Specker E.P. Logical structures arising in quantum theory, The Theory of Models 1965, 177-189. North-Holland, Amsterdam. J. Addison, L. Henkin, A. Tarski (Eds.).
116. Kochen S., Specker E.P. The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics 1967, 17:59-87.
117. Kôpka F., Chovanec F. D-posets. Mathematica Slovaca 1994, 44:21-34.
118. Kraus K. States, Effects and operations, Lecture Notes in Physics 1983, vol. 190. Springer, Berlin.
119. Lincoln P.D., Mitchell J.C., Scedrov A., Shankar N. Decision problems for propositional linear logic. Annals of Pure and Applied Logic 1992, 56:239-311.
120. Ludwig G. Foundations of quantum mechanics 1983, vol. 1. Springer, Berlin.
121. Lukasiewicz J. Logistic and philosophy, Selected Work 1970, 218-235. North-Holland, Amsterdam. L. Borkowski (Ed.).
122. Lukasiewicz J. On determinism, Selected Work 1970, 110-128. North-Holland, Amsterdam. L. Borkowski (Ed.).
123. Lukasiewicz J. On three-valued logic, Selected Work 1970, North-Holland, Amsterdam. L. Borkowski (Ed.).
124. Mackey G. The Mathematical Foundations of Quantum Mechanics 1957, Benjamin, New York.
125. Mangani P. Su certe algebre connesse con logiche a più valori. Bollettino Unione Matematica Italiana 1973, 8:68-78.
126. Mi nari P. On the algebraic and kripkean logical consequence relation for orthomodular quantum logic. Reports on Mathematical Logic 1987, 21:47-54.
127. Mittelstaedt P. On the interpretation of the lattice of subspaces of Hilbert space as a propositional calculus, Zeitschriftfür Naturforschung. Dordrecht, text bf 1972, 27a:1358-1362.
128. Mittelstaedt P. Quantum logic 1978, Reidel, Dordrecht.
129. Recent developments in quantum logic, Grundlagen der exakten Naturwissenschaften, no. 6 1985, Bibliographisches Institut, Mannheim. P. Mittelstaedt (Ed.).
130. Mundici D. The logic of Ulam's game with lies, Knowledge, Belief and Strategic Interaction 1992, Cambridge University Press, Cambridge. C. Bicchieri, M.L. Dalla Chiara (Eds.).
131. Navara M. Two descriptions of state spaces of orthomodular structures. International Journal of Theoretical Physics 1999, 38:3163-3178.
132. Neubrunn T., Riečan B. Integral, measure and ordering 1997, Kluwer Academic Publishers, Dordrecht.
133. Nielsen M.A., Chuang I.L. Quantum computation and quantum information 2000, Cambridge University Press, Cambridge.
134. Nishimura H. Sequential method in quantum logic. Journal of Symbolic Logic 1980, 45:339-352.
135. Nishimura H. Proof theory for minimal quantum logic I and II. International Journal of Theoretical Physics 1994, 33:102-113. 1427-1443.
136. Paoli F. Substructural logics: A primer, Trends in Logic 2002, vol. 13. Kluwer Academic Publishers.
137. Peres A. Quantum theory: Concepts and methods 1995, Kluwer Academic Publishers, Dordrecht.
138. Piron C. Foundations of quantum physics 1976, W. A. Benjamin, Reading.
139. Pitowsky I. Quantum probability-quantum logic, Lectures Notes in Physics, no. 321 1989, Springer, Berlin.
140. V. Pratt, Linear logic for generalized quantum mechanics, Workshop on Physics and Computation (Phys Comp'92)(Dallas), IEEE, 1993, pp. 166-180.
141. Pták P., Pulmannová S. Orthomodular structures as quantum logics, Fundamental Theories of Physics, no. 44 1991, Kluwer, Dordrecht.
142. Pulmannová S. Representation of D-posets. International Journal of Theoretical Physics 1995, 34:1689-1696.
143. Putnam H. Is logic empirical?. Boston Studies in the Philosophy of Science 1969, vol. 5:216-241. Reidel, Dordrecht. R.S. Cohen, M.W. Wartofsky (Eds.).
144. Pykacz J. Lukasiewicz operations in fuzzy set theories and many-valued representations of quantum logics. Foundations of Physics 2000, 30:1503-1524.
145. M. Rédei, Von Neumann's concept of quantum logic and quantum probability, in [Rédei and Stoeltzner, 2001].
146. Rédei M. "Unsolved problems in mathematics" J. von Neumann's address to the International Congress of Mathematicians Amsterdam, September 2-9, 1954. The Mathematical Intelligencer 1999, 21:7-12.
147. Rédei M. Quantum logic in algebraic approach 1998, Kluwer Academic Publishers, Dordrecht, Holland.
148. Rédei M. Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead). Studies in the History and Philosophy of Modern Physics 1996, 27:493-510.
149. M. Rédei: The birth of quantum logic, History and Philosophy of Logic, forthcoming.
150. Rédei M., Stöltzner M. John von Neumann and the Foundations of Quantum Physics 2001, Kluwer Academic Publishers, Dordrecht, Boston, London. M. Stöltzner, M. Rédei (Eds.).
151. Redhead M. Incompleteness, nonlocality and realism-a prolegomenon to the philosophy of quantum mechanics 1987, Clarendon Press, Oxford.
152. Reed M., Simon B. Methods of modern mathematical physics 1972, vol. I. Academic Press, New York.
153. Restall G. Paraconsistency everywhere. Notre Dame Journal of Formal Logic 2002, 43:147-156.
154. Restall G., Paoli F. The geometry of nondistributive logics. Journal of Symbolic Logic 2005, 70:1108-1126.
155. Rosenthal K.I. Quantales and their applications 1990, Longman, New York.
156. Sambin G., Battilotti G., Faggian C. Basic logic: reflection, symmetry, visibility. The Journal of Symbolic Logic 2000, 65:979-1013.
157. Schroeck F.E. Quantum mechanics on phase space, Fundamental Theories of Physics 1996, vol. 74. Kluwer Academic Publishers, Dordrecht.
158. Schülte Monting J. Cut elimination and word problem for varieties of lattices. Algebra Universalis 1981, 12:290-321.
159. Selinger P. Towards a quantum programming language. Mathematical Structures in Computer Science 2004, 14:527-586.
160. S. Smets, The logic of physical properties in static and dynamic perspective, PhD Thesis, Vrije Universiteit Brussels, 2001.
161. Solèr M.P. Characterization of Hilbert spaces by orthomodular spaces. Communications in Algebra 1995, 23:219-243.
162. Stalnaker R. A theory of conditionals, Ifs. Conditionals, Belief, Decision, Chance, and Time 1981, 41-55. Reidel, Dordrecht. W. Harper, G. Pearce, R. Stalnaker (Eds.).
163. Svozil K. Quantum logic 1998, Springer, Singapore.
164. Takeuti G. Quantum set theory, Current Issues in Quantum Logic. Ettore Majorana International Science Series 1981, vol. 8:303-322. Plenum, New York. E.G. Beltrametti, B.C. van Fraassen (Eds.).
165. Tamura S. A Gentzen formulation without the cut rule for ortholattices. Kobe Journal of Mathematics 1988, 5:133-150.
166. Tortora De Falco L. The additive multiboxes. Annals of Pure and Applied Logic 2003, 120:489-524.
167. van Fraassen B. Quantum mechanics. An empiricist view 1991, Clarendon Press, Oxford.
168. Varadarajan V.S. Geometry of quantum theory 1985, Springer, Berlin. 2 ed.
169. van Tonder A. A lambda calculus for quantum computation. SIAM Journal of Computing 2004, 33:1109-1135.
170. J. von Neumann, Mathematische Begründung der Quantenmechanik, Göttinger Nachrichten (1927), 1-57, in [von Neumann, 1962], pp. 151-207.
171. J. von Neumann, Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik, Göttinger Nachrichten (1927), 245-272, in [von Neumann, 1962], pp. 208-235.
172. J. von Neumann, Thermodynamik quantenmechanischer Gesamtheiten, Göttinger Nachrichten (1927), 245-272, in [von Neumann, 1962], pp. 236-254.
173. J. von Neumann, Mathematische Grundlagen der Quantenmechanik, Dover Publications, New York, 1943 (first American Edition; first edition: Springer Verlag, Heidelberg, 1932).
174. von Neumann J. Collected Works Vol. I. Logic, Theory of Sets and Quantum Mechanics 1962, Pergamon Press. A.H. Taub (Ed.).
175. von Neumann J. Collected Works Vol. III. Rings of Operators 1961, Pergamon Press. A.H. Taub (Ed.).
176. von Neumann J. Collected Works Vol. IV. Continuous Geometry and Other Topics 1961, Pergamon Press. A.H. Taub (Ed.).
177. von Neumann J. Continuous Geometries with Transition Probability. Memoirs of the American Mathematical Society 1981, 34(252):1-210.
178. Wright R. Generalized urn models. Foundations of Physics 1990, 20:881-903.
179. Zadeh L. Fuzzy sets. Information and Control 1965, 8:338-353.
180. Zierler N. Axioms for non-relativistic quantum mechanics. Pacific Journal of Mathematics 1961, 11:1151-1169.