Table of Contents Author Guidelines Submit a Manuscript
Advances in Mathematical Physics
Volume 2016, Article ID 6830685, 12 pages
http://dx.doi.org/10.1155/2016/6830685
Research Article

Classical Logic and Quantum Logic with Multiple and Common Lattice Models

1Department of Physics-Nanooptics, Faculty of Mathematics and Natural Sciences, Humboldt University of Berlin, Berlin, Germany
2Center of Excellence for Advanced Materials and Sensing Devices (CEMS), Photonics and Quantum Optics Unit, Ruđer Bošković Institute, Zagreb, Croatia

Received 4 May 2016; Revised 7 July 2016; Accepted 25 July 2016

Academic Editor: Giorgio Kaniadakis

Copyright © 2016 Mladen Pavičić. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. H. Putnam, “Is logic empirical,” in Boston Studies in the Philosophy of Science, R. S. Cohen and M. W. Wartofsky, Eds., vol. V, pp. 216–241, Reidel Publishing Company, Dordrecht, The Netherlands, 1969. View at Google Scholar
  2. G. Birkhoff and J. von Neumann, “The logic of quantum mechanics,” Annals of Mathematics, vol. 37, no. 4, pp. 823–843, 1936. View at Publisher · View at Google Scholar · View at MathSciNet
  3. A. Wilce, “Quantum logic and probability theory,” in The Stanford Encyclopedia of Philosophy, E. N. Zalta, Ed., Stanford University, 2012, http://plato.stanford.edu/archives/fall2012/entries/qt-quantlog/. View at Google Scholar
  4. H. Dishkant, “Semantics of the minimal logic of quantum mechanics,” Polish Academy of Sciences. Institute of Philosophy and Sociology. Studia Logica. An International Journal for Symbolic Logic, vol. 30, pp. 23–32, 1972. View at Google Scholar · View at MathSciNet
  5. R. I. Goldblatt, “Semantic analysis of orthologic,” Journal of Philosophical Logic, vol. 3, no. 1-2, pp. 19–35, 1974. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  6. M. L. D. Chiara, “Quantum logic,” in Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, Eds., vol. 3, pp. 427–469, D. Reidel, Dordrecht, The Netherlands, 1986. View at Google Scholar
  7. H. Nishimura, “Sequential method in quantum logic,” The Journal of Symbolic Logic, vol. 45, no. 2, pp. 339–352, 1980. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. H. Nishimura, “Gentzen methods in quantum logic,” in Handbook of Quantum Logic and Quantum Structures, K. Engesser, D. Gabbay, and D. Lehmann, Eds., pp. 227–260, Elsevier, Amsterdam, The Netherlands, 2009. View at Google Scholar
  9. P. Mittelstaedt, Quantum Logic, vol. 126 of Synthese Library, Reidel, London, UK, 1978.
  10. E.-W. Stachow, “Completeness of quantum logic,” Journal of Philosophical Logic, vol. 5, no. 2, pp. 237–280, 1976. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  11. P. Pták and S. Pulmannová, Orthomodular Structures as Quantum Logics, vol. 44 of Fundamental Theories of Physics, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1991. View at MathSciNet
  12. K. Engesser and D. M. Gabbay, “Quantum logic, Hilbert space, revision theory,” Artificial Intelligence, vol. 136, no. 1, pp. 61–100, 2002. View at Publisher · View at Google Scholar
  13. J. P. Rawling and S. A. Selesnick, “Orthologic and quantum logic: models and computational elements,” Journal of the ACM, vol. 47, no. 4, pp. 721–751, 2000. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. F. Herbut, “State-dependent implication and equivalence in quantum logic,” Advances in Mathematical Physics, vol. 2012, Article ID 385341, 23 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet
  15. T. I. Tylec and M. Kuś, “Non-signaling boxes and quantum logics,” Journal of Physics A: Mathematical and Theoretical, vol. 48, no. 50, Article ID 505303, 17 pages, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  16. A. Bikchentaev, M. Navara, and R. Yakushev, “Quantum logics of idempotents of unital rings,” International Journal of Theoretical Physics, vol. 54, no. 6, pp. 1987–2000, 2015. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  17. K. Engesser, D. M. Gabbay, and D. Lehmann, A New Approach to Quantum Logic, vol. 8 of Studies in Logic, College Publications, London, UK, 2007. View at MathSciNet
  18. A. Baltag and S. Smets, “Complete axiomatizations for quantum actions,” International Journal of Theoretical Physics, vol. 44, no. 12, pp. 2267–2282, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  19. A. Baltag and S. Smets, “Quantum logic as a dynamic logic,” Synthese, vol. 179, no. 2, pp. 285–306, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. P. Mateus and A. Sernadas, “Weakly complete axiomatization of exogenous quantum propositional logic,” Information and Computation, vol. 204, no. 5, pp. 771–794, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  21. S. Abramsky and R. Duncan, “A categorical quantum logic,” Mathematical Structures in Computer Science, vol. 16, no. 3, pp. 469–489, 2006. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. S. Abramsky and B. Coecke, “A categorical semantics of quantum protocols,” in Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS '04), pp. 415–425, July 2004. View at Scopus
  23. J. Harding, “A link between quantum logic and categorical quantum mechanics,” International Journal of Theoretical Physics, vol. 48, no. 3, pp. 769–802, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  24. D. Hilbert and W. Ackermann, Principles of Mathematical Logic, Chelsea, New York, NY, USA, 1950.
  25. G. Kalmbach, Orthomodular Lattices, Academic Press, London, UK, 1983.
  26. G. Kalmbach, “Orthomodular logic,” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 20, pp. 395–406, 1974. View at Publisher · View at Google Scholar · View at MathSciNet
  27. M. Pavičić and N. D. Megill, “Non-orthomodular models for both standard quantum logic and standard classical logic: repercussions for quantum computers,” Helvetica Physica Acta, vol. 72, pp. 189–210, 1999. View at Google Scholar
  28. M. Pavičić and N. D. Megill, “Is quantum logic a logic?” in Handbook of Quantum Logic and Quantum Structures, K. Engesser, D. Gabbay, and D. Lehmann, Eds., pp. 23–47, Elsevier, Amsterdam, The Netherlands, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  29. M. Pavičić and N. D. Megill, “Binary orthologic with modus ponens is either orthomodular or distributive,” Helvetica Physica Acta, vol. 71, no. 6, pp. 610–628, 1998. View at Google Scholar · View at MathSciNet
  30. E. Schechter, Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions, Princeton University Press, Princeton, NJ, USA, 2005.
  31. L. Beran, Orthomodular Lattices: Algebraic Approach, D. Reidel, Dordrecht, The Netherlands, 1985.
  32. N. D. Megill and M. Pavičić, “Equivalencies, identities, symmetric differences, and congruencies in orthomodular lattices,” International Journal of Theoretical Physics, vol. 42, no. 12, pp. 2797–2805, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  33. C. J. Isham, Lectures on Quantum Theory, Imperial College Press, London, UK, 1995. View at Publisher · View at Google Scholar · View at MathSciNet
  34. P. R. Halmos, Introduction to Hilbert Space and the Spectral Theory of Spectral Multiplicity, Chelsea, New York, NY, USA, 1957.
  35. S. S. Holland Jr., “The current interest in orthomodular lattices,” in Trends in Lattice Theory, J. C. Abbot, Ed., pp. 41–126, Van Nostrand Reinhold, New York, NY, USA, 1970. View at Google Scholar
  36. N. D. Megill and M. Pavičić, “Deduction, ordering, and operations in quantum logic,” Foundations of Physics, vol. 32, no. 3, pp. 357–378, 2002. View at Publisher · View at Google Scholar
  37. M. Pavičić, “Nonordered quantum logic and its YES-NO representation,” International Journal of Theoretical Physics, vol. 32, no. 9, pp. 1481–1505, 1993. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  38. M. Pavičić, “Identity rule for classical and quantum theories,” International Journal of Theoretical Physics, vol. 37, no. 8, pp. 2099–2103, 1998. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  39. M. Pavičić and N. D. Megill, “Standard logics are valuation-nonmonotonic,” Journal of Logic and Computation, vol. 18, no. 6, pp. 959–982, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  40. B. D. McKay, N. D. Megill, and M. Pavičić, “Algorithms for Greechie diagrams,” International Journal of Theoretical Physics, vol. 39, no. 10, pp. 2381–2406, 2000. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  41. J. Jay Zeman, “Generalized normal logic,” Journal of Philosophical Logic, vol. 7, no. 2, pp. 225–243, 1978. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  42. G. M. Hardegree, “The conditional in abstract and concrete quantum logic,” in The Logico-Algebraic Approach to Quantum Mechanics, C. A. Hooker, Ed., vol. 2, pp. 49–108, D. Reidel, Dordrecht, The Netherlands, 1979. View at Google Scholar · View at MathSciNet
  43. M. Pavičić, “Bibliography on quantum logics and related structures,” International Journal of Theoretical Physics, vol. 31, no. 3, pp. 373–461, 1992. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  44. M. Pavičić and N. D. Megill, “Quantum and classical implication algebras with primitive implications,” International Journal of Theoretical Physics, vol. 37, no. 8, pp. 2091–2098, 1998. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  45. M. Pavičić, “Minimal quantum logic with merged implications,” International Journal of Theoretical Physics, vol. 26, no. 9, pp. 845–852, 1987. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  46. M. Pavičić, “Unified quantum logic,” Foundations of Physics, vol. 19, no. 8, pp. 999–1016, 1989. View at Publisher · View at Google Scholar
  47. G. Bacciagaluppi, “Is logic empirical?” in Handbook of Quantum Logic and Quantum Structures, K. Engesser, D. Gabbay, and D. Lehmann, Eds., Quantum Logic, pp. 49–78, Elsevier, Amsterdam, The Netherlands, 2009. View at Publisher · View at Google Scholar · View at MathSciNet