Orthologic and quantum logic: models and computational elements

@article{Rawling2000OrthologicAQ,
  title={Orthologic and quantum logic: models and computational elements},
  author={J. P. Rawling and S. A. Selesnick},
  journal={J. ACM},
  year={2000},
  volume={47},
  pages={721-751}
}
Motivated by a growing need to understand the computational potential of quantum devices we suggest an approach to the relevant issues via quantum logic and its model theory. By isolating such notions as quantum parallelism and interference within a model-theoretic setting, quite divorced from their customary physical trappings, we seek to lay bare their logical underpinnings and possible computational ramifications. In the first part of the paper, a brief account of the relevant model theory… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Geometry of Quantum Theory (2nd ed.). Springer-Verlag, New York

  • V S.
  • ity. World Scientific Publishing,
  • 1985
Highly Influential
6 Excerpts

Some metalogical pathologies of quantum logic

  • M. L. England. DALLA CHIARA
  • Current Issues in
  • 1979
Highly Influential
5 Excerpts

Orthologic , forcing and the manifestation of attributes

  • J. L. BELL
  • 1983
Highly Influential
2 Excerpts

The stone space of an ortholattice

  • R. I. GOLDBLATT
  • Bull . London Math . Soc .
  • 1973
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…