Dalla Chiara，玛丽亚·路易莎;罗伯托·吉安蒂尼;罗伯托·勒波里尼 量子计算的逻辑。 （英语） Zbl 1075.81015号 国际量子信息。 3，第2期，293-337（2005）. 概要：量子计算中的逻辑门理论提出了量子逻辑的新形式，称为量子计算逻辑。基本的语义思想如下：句子的意义是用quregister（一个qubits系统）来标识的，或者更一般地说，是用quregister的混合物来标识的（称为qumix）。在这个框架中，该语言的任何句子\（\alpha\）都会产生量子树：一种量子电路，它将与\（\alpha\）的原子子形式相关的量子寄存器（qumix）转换为与\（\alpha\）相关的量子寄存器（qumix）。量子计算语义学的一个变体是量子整体语义学，它允许我们表示纠缠意义。量子计算逻辑的物理模型可以通过马赫-曾德干涉仪建立。 引用于26文件 MSC公司： 81页68 量子计算 81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面） 关键词：量子计算;量子逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人，《国际量子信息》3，第2期，293--337（2005；Zbl 1075.81015） 全文： DOI程序 参考文献： [1] Cattaneo G.，国际期刊Theor。物理学。43 [2] DOI:10.2307/19968621·Zbl 0015.14603号 ·doi:10.2307/1968621 [3] 内政部：10.1007/978-94-017-0460-1_2·doi:10.1007/978-94-017-0460-1_2 [4] 内政部：10.1145/347476.347481·Zbl 1327.68103号 ·doi:10.1145/347476.347481 [5] DOI:10.1023/A:1024410829713·Zbl 1038.81012号 ·doi:10.1023/A:1024410829713 [6] DOI:10.1023/A:1003642222321·Zbl 0962.03029号 ·doi:10.1023/A:1003642222321 [7] DOI:10.1023/A:1026453524064·兹比尔1047.81007 ·doi:10.1023/A:1026453524064 [8] 内政部：10.1016/j.ic.2003.11.003·Zbl 1074.68020号 ·doi:10.1016/j.ic.2003.11.003 [9] DOI:10.1023/A:1023327005274·Zbl 1036.81003号 ·doi:10.1023/A:1023327005274 [10] 内政部：10.1007/3-540-10003-2_104·doi:10.1007/3-540-10003-2_104 [11] 德国公牛。符号。逻辑3第265页– [12] Cattaneo G.，Mathematica Slovaca 54第87页– [13] 内政部：10.1007/978-3-662-04209-0·doi:10.1007/978-3-662-04209-0 [14] Nielsen M.A.，量子计算与量子信息（2000）·Zbl 1049.81015号 [15] 内政部：10.1103/PhysRevLett.62.2124·doi:10.1103/PhysRevLett.62.2124 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。