Browse > Article
http://dx.doi.org/10.22156/CS4SMB.2017.7.3.065

A Homomorphism on Orthoimplication Algebras for Quantum Logic  

Yon, Yong-Ho (Division of Information and Communication Convergence Engineering, Mokwon University)
Publication Information
Journal of Convergence for Information Technology / v.7, no.3, 2017 , pp. 65-71 More about this Journal
Abstract
The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.
Keywords
Logical Implication; Quantum Logic; Ortholattices; Orthomodular Lattices; Orthoimplication Algebras; Commuting Relation;
Citations & Related Records
Times Cited By KSCI : 4  (Citation Analysis)
연도 인용수 순위
1 G. Birkhoff and J. von Neumann, "The logic of quantum mechanics," Annals of Mathematics, Vol. 37, No. 4, pp. 822-843, Oct. 1936. DOI : 10.2307/1968621
2 K. Husimi, "Studies on the foundations of quantum mechanics," Proceedings of the Physico-Mathematical Society of Japan. 3rd Series, Vol. 19, pp. 766-789, 1937. DOI : 10.11429/ppmsj1919.19.0766
3 G. Kalmbach, Orthomodular lattices, Academic Press, New York, 1983.
4 P. D. Finch, "On the lattice structure of quantum logic," The Journal of Symbolic Logic, Vol. 34, No. 2, pp. 275-282, Jun. 1969. DOI : 10.2307/2271104   DOI
5 P. D. Finch, "Quantum logic as an implication algebra," Bulletin of the Australian Mathematical Society, Vol. 2, No. 1, pp. 101-106, Feb. 1970. DOI : 10.1017/S0004972700041642   DOI
6 J. C. Abbott, "Orthoimplication algebras," Studia Logica, Vol. 35, pp. 173-177, Jun. 1976. DOI : 10.1007/BF02120879   DOI
7 I. Chajda, R. Halas and Langer, "Orthomodular implication algebras," International Journal of Theoretical Physics, Vol. 40, No. 11, pp. 1875-1884, Nov. 2001. DOI : 10.1023/A:1011933018776   DOI
8 N. D. Megill and M. Pavicic, "Quantum implication algebras," International Journal of Theoretical Physics, Vol. 42, No. 12, pp. 2807-2822, Oct. 2003. DOI : 10.1023/B:IJTP.0000006007.58191.da   DOI
9 G. M. Hardegree, Quasi-implication algebras, Part I: Elementary theory," Algebra Univeralis, Vol. 12, No. 1, pp. 30-47, Dec. 1981. DOI : 10.1007/BF02483861   DOI
10 G. M. Hardegree, Quasi-implication algebras, Part II: Structure theory," Algebra Universalis, Vol. 12, No. 1, pp. 48-65, Dec. 1981. DOI : 10.1007/BF02483862   DOI
11 G. M. Hargree, "Material implication in orthomodular (and Boolean) lattices," Notre Dame J. Form. Log., Vol. 22, No. 2, pp. 163-182, Apr. 1981. DOI : 10.1305/ndjfl/1093883401   DOI
12 J. J. M. Gabiels and M. Navara, "Associativity of operations in orthomodular lattices," Math. Slovaca, Vol. 62, No. 6, pp. 1069-1078, Dec. 2012. DOI : 10.2478/s12175-012-0065-2
13 I. Chajda and S. Radeleczki, "An approach to orthomodular lattices via lattices with an antitone involution, "Math. Slovaca, Vol. 66, No. 4, pp. 773-780, Aug. 2016. DOI : 10.1515/ms-2015-0179   DOI
14 H. J. Lee, O. C. Na, S. Y. Sung and H. B. Chang, "A Design on Security Governance Framework for Industry Convergenc Environment," Journal of the Korea Convergence Society, Vol. 6, No. 4, pp. 33-40, Aug. 2015. DOI : 10.1523307/JKCS.2015.6.4.0   DOI
15 S. H. Yun, "The Biometric Authentication Scheme Capable of Multilevel Security Control," Journal of the Korea Convergence Society, Vol. 8, No. 2, pp. 9-14, Feb. 2017. DOI : 10.15207/JKCS.2017.8.2.009   DOI
16 N. Y. Heo and Y. J. Ko, "The Status of Research of Quantum dot Using 4P Analysis-Focusing on the application and convergence field of quantum technology," Journal of the Korea Convergence Society, Vol. 6, No. 2, pp. 49-55, 2015. DOI : 10.15207/JKCS.2015.6.2.049   DOI
17 Y. S. Park, K. R. Park and D. H. Kim, "A Study of Distribute Computing Performance Using a Convergence of Xeon-Phi Processor and Quantum ESPRESSO," Journal of the Korea Convergency Society, Vol. 7, No. 5, pp. 15-21, Oct. 2016. DOI : 10.15207/JKCS.2016.7.5.015