Non-orthomodular models for both standard quantum logic and standard classical logic: Repercussions for quantum computers

Helvetica Physica Acta

Volumn 72, Issue 3, 1999, Pages 189-210

  Pavičić, Mladen ^a   Megill, Norman D ^b  

^a UNIVERSITY OF ZAGREB   (Croatia)

^b Boston Information Group   (United States)

Author keywords

Boolean algebra; Categoricity; Classical logic; Logic of quantum mechanics; Model theory; Non categorical models; Orthomodular lattices; Quantum computation; Quantum logic; Weakly distributive lattices; Weakly orthomodular lattices

Indexed keywords

EID: 0000484159     PISSN: 00180238     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. G. Birkhoff and J. von Neumann, Ann. Math. 37, 823 (1936).
2. M. Pavičić and N. D. Megill, Helv. Phys. Acta 71, 610 (1998).
3. H. Leblanc, Alternatives to standard first-order semantics, in Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, volume I: Elements of Classical Logic, pages 189-274, D. Reidel, Dordrecht, 1983.
4. A. Peres, Found. Phys 26, 807 (1996).
5. V. Vedral and M. B. Plenio, Prog. Quant. Electron. 22, 1 (1998), Retrievable at http://xxx.lanl.gov/abs/quant-ph/9802065.
6. A. Tarski, Some methodological investigations on the definiability of concepts, in Logic, Semantics, Metamathematics (Papers from 1923 to 1938) by Alfred Tarski, edited by J. H. Woodger, pages 296-319, Oxford University Press, Oxford, 1956.
7. A. A. Fraenkel, Y. Bar-Hillel, and A. Levy, Foundations of Set Theory, North-Holland, Amsterdam, 1973.
8. G. Kalmbach, Orthomodular Lattices, Academic Press, London, 1983.
9. M. Pavičić, Int. J. Theor. Phys. 26, 845 (1987).
10. M. Pavičić, Int. J. Theor. Phys. 37, 2099 (1998).
11. M. Pavičić and N. D. Megill, Int. J. Theor. Phys. 37, 2091 (1998).
12. M. Pavičić, Int. J. Theor. Phys. 32, 1481 (1993).
13. L. Beran, Orthomodular Lattices; Algebraic Approach, D. Reidel, Dordrecht, 1985.
14. M. Pavičić, Found. Phys. 19, 999 (1989).
15. H. Dishkant, Rep. Math. Logic 3, 9 (1974).
16. M. L. Dalla Chiara, Quantum logic, in Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, volume III., pages 427-469, D. Reidel, Dordrecht, 1986.
17. P. Mittelstaedt, Quantum Logic, L. M. S. Monographs; v. 18, Academic Press, London, 1983.
18. E.-W. Stachow, J. Phil. Logic 5, 237 (1976).
19. G. M. Hardegree, The conditional in abstract and concrete quantum logic, in The Logico-Algebraic Approach to Quantum Mechanics, edited by C. A. Hooker, volume II. Contemporary Consolidation, pages 49-108, D. Reidel, Dordrecht, 1979.
20. G. T. Rüttimann, Logikkalküle der Quantenphysik. Eine Abhandlung zur Ermittlung der formal-logischen Systeme, die der nicht-relativistischen Quantentheorie zugrundeliegen, Duncker & Humblot, Berlin, 1977.
21. D. Hilbert and W. Ackermann, Principles of Mathematical Logic, Chelsea, New York, 1950.
22. S. C. Kleene, Introduction to Metamathematics, North-Holland, Amsterdam, 1974.
23. J. Łukasiewicz, Selected Works, North-Holland, Amsterdam, 1970.
24. E. L. Post, Am. J. Math. 43, 163 (1921).
25. P. Pták and S. Pulmannová, Quantum Structures as Quantum Logics, Kluwer, Dordrecht, 1991.
26. S. S. Holland, JR., Bull. Am. Math. Soc. 32, 205 (1995).
27. A. Barenco et al., Phys. Rev. A 52, 3457 (1995).
28. N. D. Megill and M. Pavičić, [submitted] (1999).