Non-orthomodular models for both quantum logic and standard classical logic: repercussions for quantum computers
Jun, 1999Citations per year
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:
- 21 pages, AMSLaTeX, to be published in Helvetica Physica Acta, a few typos corrected, Author's URL http://m3k.grad.hr/pavicic
References(30)
Figures(0)
- [1]
- [2]
- [3]
- [4]
- [5]
- [6]
- [7]
- [8]
- [9]
- [10]
- [11]
- [12]
- [13]
- [13]
- [14]
- [15]
- [16]
- [17]
- [17]
- [18]
- [19]
- [20]
- [21]
- [22]
- [23]