Pregled bibliografske jedinice broj: 52882
Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers
Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers // Helvetica Physica Acta, 72 (1999), 3; 189-210 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 52882 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers
Autori
Pavičić, Mladen ; Megill, Norman D.
Izvornik
Helvetica Physica Acta (0018-0238) 72
(1999), 3;
189-210
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
quantum logic; logic of quantum mechanics; quantum computation; orthomodular lattices; weakly orthomodular lattices; classical logic; Boolean algebra; weakly distributive lattices; model theory; categoricity; non-categorical models
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Fizika
POVEZANOST RADA
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- Science Citation Index Expanded (SCI-EXP)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
Uključenost u ostale bibliografske baze podataka::
- The INSPEC Science Abstracts series
- Mathematical Reviews
