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
ZHOU Heng, WANG Yong-jun, WANG Bao-shan, YAN Jian
CLC Number:
[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. |
|