Dalla Chiara，M.L.（医学博士）。;吉安蒂尼，R。;Gudder，S。;勒波里尼，R。 福克空间上的量子计算语义。 （英语） Zbl 1110.81039号 国际J.Theor。物理学。 44，第12期，2219-2230（2005）. 小结：在福克空间语义学中，基于希尔伯特空间（mathbb C^2），用（非对称）福克空间（mathcal F）的密度算子识别句子的意义。一般来说，句子的意思被涂抹在\（\mathcal F\）的不同部分。标准的量子计算语义学是福克空间语义学的一个极限情况，其中任何句子（alpha）的意义只“存在”于（mathcal F）的一个扇区中，这由（alpha\）的逻辑复杂性决定。我们证明了全局Fock空间语义和标准量子计算语义具有相同的逻辑特征。 引用于1审查引用于5文件 MSC公司： 81页68 量子计算 关键词：量子计算;量子门;量子逻辑;Fock空间 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人，国际期刊Theor。物理学。44，第12号，2219--2230（2005；Zbl 1110.81039） 全文： DOI程序 参考文献： [1] Dalla Chiara，M.L。；Giuntini，R。；勒波里尼，R。；亨德里克斯，V。；Malinowski，J.，《量子计算逻辑》。逻辑趋势调查。《逻辑研究50年》，229-271（2003），多德勒支：克鲁沃，多德勒支·Zbl 1055.03039号 [2] Gudder，S.，量子计算逻辑，国际理论物理杂志，42，39-47（2003）·Zbl 1036.81003号 ·doi:10.1023/A:1023327005274 [3] Gudder，S.，《Fock空间的计算逻辑》，国际理论物理杂志，43，1-14（2004）·Zbl 1174.81302号 ·doi:10.1023/B:IJTP.000048624.12090.40 [4] Dalla Chiara，M.L。；Giuntini，R。；Leporini，R.，《量子计算逻辑与福克空间语义》，《国际量子信息杂志》，2，1-8（2004）·Zbl 1069.81518号 ·doi:10.1142/S021974990400002X [5] 尼尔森，硕士。；Chuang，I.L.，《量子计算与量子信息》（2000），剑桥：剑桥大学出版社，剑桥·Zbl 1049.81015号 [6] Petri，C.A.（1967年）。Grundsätzliches zur Beschreibung项目磁盘管理员。在第三届自动化学术讨论会会议记录（汉诺威，1965年）中，Birkhäuser Verlag，巴塞尔，1967年，第121-140页。英文版：《离散过程表示的基础》，ISF报告82.04（1982），由H.J.Genrich和P.S.Thiagarajan翻译·Zbl 0157.33701号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。