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

Jun, 1999
23 pages
Published in:
  • Helv.Phys.Acta 72 (1999) 189-210
e-Print:

Citations per year

20192020202101
Abstract:
It is shown that propositional calculuses of both quantum and classical logics are non-categorical. We find that quantum logic is in addition to an orthomodular lattice also modeled by a weakly orthomodular lattice and that classical logic is in addition to a Boolean algebra also modeled by a weakly distributive lattice. Both new models turn out to be non-orthomodular. We prove the soundness and completeness of the calculuses for the models. We also prove that all the operations in an orthomodular lattice are five-fold defined. In the end we discuss possible repercussions of our results to quantum computations and quantum computers.
Note:
  • [1]
    • G. Birkhoff
      ,
    • J. von Neumann
      • Annals Math. 37 (1936) 823
  • [2]
    • M. Paviči´c
      ,
    • N.D. Megill
      • Helv.Phys.Acta 71 (1998) 610
  • [3]
    D. Gabbay and F. Guenthner (eds.), Alternatives to standard first-order semantics, in Handbook of Philosophical Logic volume I: Elements of Classical Logic, pages 189-274, D Dordrecht, 1983
    • H. Leblanc
    • [4]
    • [6]
      J. H. Woodger (eds.), Some methodological investigations on the definiability of concepts, in Logic, Semantics, Metamathematics (Papers from 1923 to 1938) by Alfred Tarski pages 296-319, Oxford University Press, Oxford, 1956
      • A. Tarski
      • [7]
        Foundations of Set Theory Amsterdam, 1973
        • A.A. Fraenkel
          ,
        • Y. Bar-Hillel
          ,
        • A. Levy
        • [8]
          Orthomodular Lattices Press, London, 1983
          • G. Kalmbach
          • [9]
            • M. Paviči´c
              • Int.J.Theor.Phys. 26 (1987) 845
          • [10]
            • M. Paviči´c
              • Int.J.Theor.Phys. 37 (1998) 2099
          • [11]
            • M. Paviči´c
              ,
            • N.D. Megill
              • Int.J.Theor.Phys. 37 (1998) 2091
          • [12]
            • M. Paviči´c
              • Int.J.Theor.Phys. 32 (1993) 1481
          • [13]
            • L. Beran
            • [13]
              Orthomodular Lattices Algebraic Dordrecht, 1985
              • D. Approach
              • [14]
                • M. Paviči´c
                  • Found.Phys. 19 (1989) 999
              • [15]
                Rep. Math. Logic 3, 9 (1974)
                • H. Dishkant
                • [16]
                  D. Gabbay and F. Guenthner (eds.), Quantum logic, in Handbook of Philosophical Logic volume III., pages 427-469, D Dordrecht, 1986
                  • M.L. Dalla Chiara
                  • [17]
                    Logic, L. M. S., Quantum
                    • P. Mittelstaedt
                    • [17]
                      Monographs v. 18, Press, London, 1983
                      • [18]
                        • E.-W. Stachow
                          • J.Phil.Logic 5 (1976) 237
                      • [19]
                        C. A. Hooker (eds.), The conditional in abstract and concrete quantum logic, in The Logico-Algebraic Approach to Quantum Mechanics volume II. Contemporary Consolidation, pages 49-108, D Dordrecht, 1979
                        • G.M. Hardegree
                        • [20]
                          Logikkalküle der Quantenphysik. Eine Abhandlung zur Ermittlung der formal-logischen Systeme, die der nicht-relativistischen Quantentheorie zugrundeliegen, Duncker & Humblot, Berlin, 1977
                          • G.T. Rüttimann
                          • [21]
                            Principles of Mathematical Logic, Chelsea, New York, 1950
                            • D. Hilbert
                              ,
                            • W. Ackermann
                            • [22]
                              Introduction to Metamathematics Amsterdam, 1974
                              • S.C. Kleene
                              • [23]
                                Selected Works Amsterdam, 1970
                                • J. Lukasiewicz