Non-Orthomodular Models for Both Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers
| dc.creator | Pavicic, Mladen | |
| dc.creator | Megill, Norman D. | |
| dc.date | 1999-06-27 | |
| dc.date | 1999-09-12 | |
| dc.date.accessioned | 2026-07-07T06:16:42Z | |
| dc.date.available | 2026-07-07T06:16:42Z | |
| dc.description | 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. | |
| dc.description | 21 pages, AMSLaTeX, to be published in Helvetica Physica Acta, a few typos corrected, Author's URL http://m3k.grad.hr/pavicic | |
| dc.identifier | https://arxiv.org/abs/quant-ph/9906101 | |
| dc.identifier | http://arxiv.org/abs/quant-ph/9906101 | |
| dc.identifier | Helv.Phys.Acta 72 (1999) 189-210 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/94145 | |
| dc.subject | Quantum Physics | |
| dc.subject | Logic | |
| dc.subject | Quantum Algebra | |
| dc.title | Non-Orthomodular Models for Both Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers | |
| dc.type | text |