DOI QR코드

DOI QR Code

Logic of Quantum Mechanics for Information Technology Field

  • Yon, Yong-Ho (Innovation Center for Engineering Education, Mokwon University)
  • Received : 2011.10.18
  • Accepted : 2011.11.21
  • Published : 2011.12.28

Abstract

Quantum mechanics is a branch of physics for a mathematical description of the particle wave, and it is applied to information technology such as quantum computer, quantum information, quantum network and quantum cryptography, etc. In 1936, Garrett Birkhoff and John von Neumann introduced the logic of quantum mechanics (quantum logic) in order to investigate projections on a Hilbert space. As another type of quantum logic, orthomodular implication algebra was introduced by Chajda et al. This algebra has the logical implication as a binary operation. In pure mathematics, there are many algebras such as Hilbert algebras, implicative models, implication algebras and dual BCK-algebras (DBCK-algebras), which have the logical implication as a binary operation. In this paper, we introduce the definitions and some properties of those algebras and clarify the relations between those algebras. Also, we define the implicative poset which is a generalization of orthomodular implication algebras and DBCK-algebras, and research properties of this algebraic structure.

Keywords

References

  1. G. Birkhoff and J. von Neumann, "The logic of quantum mechanics," Ann. of Math., Vol. 37, 1936, pp. 822-843.
  2. K. Husimi, "Studies on the foundations of quantum mechanics I," Proc. of the physicomath. Soc. of Japan, Vol. 19, 1937, pp. 766-789.
  3. G. Kalmbach, Orthomodular lattices, Academic Press, New York, 1983.
  4. P. D. Finch, "On the lattice structure of quantum logic," Bull. Austral. Math. Soc., Vol. 1, 1969, pp. 333-340. https://doi.org/10.1017/S0004972700042210
  5. P. D. Finch, "Quantum logic as an implication algebra," Bull. Austral. Math. Soc., Vol. 2, 1970, pp. 101-106. https://doi.org/10.1017/S0004972700041642
  6. I. Chajda, R. Halas, and H. Langer, "Orthomodular implication algebras," Int. J. of Theor. Phys., Vol. 40, No. 11, Nov. 2001, pp. 1875-1884. https://doi.org/10.1023/A:1011933018776
  7. R. A. Borzooei and S. K. Shoar, "Implication algebras are equivalent to the dual implicative BCK-algebras," Sci. Math. Jpn., Vol. 63, No. 3, 2006, pp. 429-431.
  8. K. H. Kim and Y. H. Yon, "Dual BCK-algebra and MValgebra," Sci. Math. Jpn., Vol. 66, No. 2, 2007, pp. 247-253.
  9. A. Walendziak, "On Commutative BE-algebras," Sci. Math. Jpn., Vol. 69, No. 2, 2009, pp. 281-284.
  10. K. Iseki, "An algebra related with a propositional calculus," Proc. Japan Acad., Vol. 42, No. 1, 1966, pp. 26-29. https://doi.org/10.3792/pja/1195522171
  11. K. Iseki and S. Tanaka, "An introduction to the theory of BCK-algebras," Math. Jpn., Vol. 23, 1978, pp. 1-26.
  12. L. Henkin, "An algebraic characterization of quantifiers," Fund. Math., Vol. 37, 1950, pp. 63-74. https://doi.org/10.4064/fm-37-1-63-74
  13. E. L. Marsden, Compatible elements in implication models," J. Philos. Logic, Vol. 1, 1972, pp. 156-161. https://doi.org/10.1007/BF00650494
  14. E. L. Marsden, "A note on implicative models," Notre Dame J. Form. Log., Vol. XIV, No. 1, 1973, pp. 139-144.
  15. D. Busneag, "Hertz algebras of fractions and maximal Hertz algebra of quotients," Math. Jpn., Vol. 39, No. 3, 1993, pp. 461-469.
  16. A. Diego, "Sur les algebres de Hilbert," Collection de Logique Mathematique, Ser. A, Vol 21, 1966.
  17. A. V. Figallo, G. Ramon, and S. Saad, "A note on the Hilbert algebras with infimum," Mat. Contemp., Vol. 24, 2003, pp. 23-37.
  18. R. Halas, "Remarks on commutative Hilbert algebras," Math. Bohem., Vol. 127, No. 4, 2002, pp. 525-529.
  19. W. A. Dudek, "On embedding Hilbert algebras in BCKalgebras," Math. Morav., Vol. 3, 1999, pp. 25-29.
  20. J. C. Abbott, "Algebras of implication and semi-lattices," Seminarire Dubreil (Algebre et theorie des nombres), Vol. 20e, No. 2, 1966-1967, exp. n^0 20, pp. 1-8.
  21. J. Meng, "Implication algebras are dual to implicative BCK-algebras," Soochow J. Math., Vol. 22, No. 4, 1996, pp. 567-571.