Computer Science ›› 2020, Vol. 47 ›› Issue (5): 1-6.doi: 10.11896/jsjkx.191200056

Special Issue: Theoretical Computer Scinece

• Theoretical Computer Science • Previous Articles     Next Articles

Deeper Explanation of Quantum Logic in Intuitionistic Perspective

ZHOU Heng, WANG Yong-jun, WANG Bao-shan, YAN Jian   

  1. School of Mathematical Science,Beihang University,Beijing 100191,China
  • Received:2019-12-06 Online:2020-05-15 Published:2020-05-19
  • About author:ZHOU Heng,born in 1995,postgra-duate.His main research interests include theoretical computer science and logical algebra.
    WANG Yong-jun,born in 1970,associate professor.His main research interests include logical algebra,quantum logic,data mining,etc.
  • Supported by:
    This work was supported by the National Natural Science Foundation of China(11871083)

Abstract: Quantum computer is becoming one of ongoing research direction of computer science.Quantum logic is the mathemati-cal foundation of quantum computation and quantum information.Von Neumann represented properties of quantum physical systems by closed subspaces of Hilbert space,thus constituting orthomodular lattice.Elements of orthomodular lattice own definite physical understanding but lack of the ability to describe superposition.Therefore,Bob Coecke constructed propositional lattice with Heyting algebra by adding disjunction elements for superposition.Elements of propositional lattice own definite mathematical meaning but lack of physical understanding.For latter,this paper gives a deeper explanation about physical understanding of elements of propositional lattice.As our viewpoint,the added disjunction elements represent “observer perspective”,which is required while depicting superposition in propositional lattice.Thus,by applying quantum logic on measurement operation,all elements of propositional lattice are given definite physical understanding and provide theoretical basis for quantum teleportation and action at distance.

Key words: Disjunction element, Intuitionistic perspective, Measurement, Observer perspective, Quantum computer, Superposition

CLC Number: 

  • O142
[1]ARUTE F,ARYA K,BABBUSH R,et al.Quantum supremacy using a programmable superconducting processor[J].Nature,2019,574:505-510.
[2]SHEN J,GUI Q Q.Quantum Logic:A Brand New Logic Construction [J].Journal of Anhui University (Philosophy and Social Sciences),2011,35(1):51-58.
[3]BIRKHOFF G,NEUMANN J V.The Logic of Quantum Mechanics[J].The Annals of Mathematics,1936,37(4):823-843.
[4]HARDEGREE G M.The Conditional in Quantum Logic[J].Synthese,1974,29(1):63-80.
[5]KALMBACH G.Orthomodular Lattices[M].London:Academic Press,Inc.[Harcourt Brace Jovanovich,Publishers],1983.
[6]GOLDBLATT R.Orthomodularity is not Elementary[J].Journal of Symbolic Logic,1984,49(2):401-404.
[7]MALINOWSKI J.The Deduction Theorem for Quantum Logic--Some Negative Results[J].The Journal of Symbolic Logic,1990,55(2):615-625.
[8]MOORE D J.Quantum logic requires weak modularity[J].Helvetica Physica Acta,1993(5).
[9]COECKE B.Quantum Logic in Intuitionistic Perspective[J].Studia Logica:An International Journal for Symbolic Logic,2002,70(3):411-440.
[10]COECKE B,SMETS S.The Sasaki Hook Is Not a [Static].Implicative Connective but Induces a Backward [in Time].DynamicOne That Assigns Causes[J].International Journal of Theoretical Physics,2004,43(7/8):1705-1736.
[11]GEHRKE M,HARDING J,VENEMA Y.MacNeille completions and canonical extensions[J].Transactions of the American Mathematical Society,2006,358(2):573-590.
[12]BELLAC M L,JAEGER G.A Short Introduction to Quantum Information and Quantum Computation[J].Physics Today,2007,60(5):64.
[13]RUSSO C.Quantale Modules and their Operators,with Applications[J].Journal of Logic & Computation,2010,20(4):917-946.
[14]ABRAMSKY S,TZEVELEKOS N.Introduction to Categoriesand Categorical Logic[J].Lecture Notes in Physics,2011,813(1).
[15]SHI H,WANG B S,WU M H.Distributive Law in Deduction Mechanism of Logic [J].Computer Science,2016,43(S1):21-24.
[1] JIANG Sheng-teng, ZHANG Yi-chi, LUO Peng, LIU Yue-ling, CAO Kuo, ZHAO Hai-tao, WEI Ji-bo. Analysis of Performance Metrics of Semantic Communication Systems [J]. Computer Science, 2022, 49(7): 236-241.
[2] XIAO Zhi-hong, HAN Ye-tong, ZOU Yong-pan. Study on Activity Recognition Based on Multi-source Data and Logical Reasoning [J]. Computer Science, 2022, 49(6A): 397-406.
[3] YANG Han, WAN You, CAI Jie-xuan, FANG Ming-yu, WU Zhuo-chao, JIN Yang, QIAN Wei-xing. Pedestrian Navigation Method Based on Virtual Inertial Measurement Unit Assisted by GaitClassification [J]. Computer Science, 2022, 49(6A): 759-763.
[4] GUO Si-yu, WU Yan-dong. Improved Ellipse Fitting Algorithm with Outlier Removal [J]. Computer Science, 2022, 49(4): 188-194.
[5] GAO Xin-yue, TIAN Han-min. Droplet Segmentation Method Based on Improved U-Net Network [J]. Computer Science, 2022, 49(4): 227-232.
[6] LIN Li-xiang, LIU Xu-dong, LIU Shao-teng, XU Yue-dong. Survey on the Application of Forward Error Correction Coding in Network Transmission Protocols [J]. Computer Science, 2022, 49(2): 292-303.
[7] CHANG Zi-ting, SHI Yu-qing, WANG Jun, YU Ming-he, YAO Lan, ZHAO Zhi-bin. Vehicle Speed Measurement Method Based on Binocular Vision [J]. Computer Science, 2021, 48(9): 135-139.
[8] ZHANG Tong-ming, ZHANG Ning. Review of Research on Investor Sentiment Index in Stock Market [J]. Computer Science, 2021, 48(6A): 143-150.
[9] FAN Jia-kuan, WANG Hao-yue, ZHAO Sheng-yu, ZHOU Tian-yi, WANG Wei. Data-driven Methods for Quantitative Assessment and Enhancement of Open Source Contributions [J]. Computer Science, 2021, 48(5): 45-50.
[10] TAN Ling-ling, YANG Fei, YI Jun-kai. Optimization Study of Sketch Algorithm Based on AVX Instruction Set [J]. Computer Science, 2021, 48(11A): 585-587.
[11] LIANG Wei, DUAN Xiao-dong, XU Jian-feng. Three-way Filtering Algorithm of Basic Clustering Based on Differential Measurement [J]. Computer Science, 2021, 48(1): 136-144.
[12] XIAO Yong, JIN Xin, WANG Li-bo and LUO Hong-xuan. Research on Intelligent Multi-mode Gonverged Gateway Device Based on AMI [J]. Computer Science, 2020, 47(6A): 289-293.
[13] LU Ai-hong, GUO Yan, LI Ning, WANG Meng, LIU Jie. Direction-of-arrival Estimation with Two-dimensional Sparse Array Based on Atomic NormMinimization [J]. Computer Science, 2020, 47(5): 271-276.
[14] SHAO Yang-xue, MENG Wei, KONG Deng-zhen, HAN Lin-xuan, LIU Yang. Cross-modal Retrieval Method for Special Vehicles Based on Deep Learning [J]. Computer Science, 2020, 47(12): 205-209.
[15] ZHAO Qian, CHEN Shu-hui. LRBG-based Approach for IP Geolocation [J]. Computer Science, 2020, 47(11A): 291-295.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!