Computer Science ›› 2016, Vol. 43 ›› Issue (Z6): 21-24.doi: 10.11896/j.issn.1002-137X.2016.6A.003
Previous Articles Next Articles
SHI Hang, WANG Bao-shan and WU Mei-hua
[1] Brikhoff G,von Neumann J.The logic of quantum mechanics[M].Annals of Mathematics,1936,37(4):823-843 [2] de Vries A.Algebra Hierarchy of logics unifying fuzzy logic and quantum logic.http://arxiv.org/pdf/0707.2161.pdf [3] Mackey G W.Mathematical foundations of quantum mechanics[M].Benjamin,New York,1936 [4] Coecke B,Smets S.The Sasaki Hook is not a Implicative Connective but Induces a Backward[in Time] Dynamic One that Assigns Causes.http://arxiv.org/abs/quant-ph/0111076 [5] Aerts D,D’Hondt E,Gabora L.Why the Disjunction in Quantum Logic is Not Classical?[J].Foundations of Physics,2000,0(9):1473 [6] Birkhoff G.Lattice Theory[M].American Mathematical Society,Providence,1940 [7] Russo C.Quantale Modules and their Operators,with Applications[J].Joural of Logic Computation,2010,0(4):917-946 [8] Abramsky S,Tzevelekos N.Introduction to Categories and Categorical Logic[M].Springer-Verlag Berlin Heidelberg ,2011 [9] 任芳.互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D].西安:陕西师范大学,2001 |
No related articles found! |
|