×
安德烈亚·马西尼；玛格丽塔·佐齐

用于量子寄存器测量的逻辑。 （英语） Zbl 1432.03131号

公理 8，第1号，第25号论文，第10页（2019年）.
摘要：我们知道量子逻辑是与闭希尔伯特子空间格相关的最突出的逻辑系统。然而，如果从量子计算的角度来看，我们想将逻辑与量子寄存器测量过程相关联，会发生什么？本文给出了这个问题的答案，并且非常令人惊讶地表明，这种逻辑与标准命题直觉主义逻辑完全不同。

MSC公司：

03克12 量子逻辑
81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面）

关键词：

直觉逻辑；量子计算；克里普克风格语义学

软件：

qPCF（质量PCF）
PDF格式BibTeX公司 XML格式引用
\textit{A.Masini}和\textit{M.Zorzi}，《公理8》，第1期，第25号论文，第10页（2019年；Zbl 1432.03131）
全文： 内政部

参考文献：

[1] Birkhoff，G。；冯·诺依曼，J。；量子力学的逻辑；数学年鉴：1936; 第37卷，823-843·JFM 62.1061.04标准
[2] Dalla Chiara，M.L。；量子逻辑；哲学逻辑手册：第三卷：经典逻辑的替代品：德国海德堡，1986年，427-469. ·Zbl 0875.03084号
[3] 费曼，R.P。；用计算机模拟物理；国际。J.理论。物理：1981/82; 第21卷，467-488。
[4] 尼尔森，文学硕士。；Chuang，I.L；量子计算与量子信息：英国剑桥，2010，xxvi+676·Zbl 1288.81001号
[5] 塞林格，P。；缬氨酸，B。；用经典控制进行量子计算的lambda演算；数学。结构。计算。科学：2006; 第16卷，527-552·Zbl 1122.68033号
[6] Díaz-Caro，A。；Arrighi，P。；加德拉，M。；Grattage，J。；显量子位量子Lambda演算的测量与融合；选举人。注释Theor。计算。科学：2011; 第270卷，第59-74页·Zbl 1347.68136号
[7] Pagani，M。；塞林格，P。；Valiron，B。；定量语义学在高阶量子计算中的应用；2014年POPL会议记录：美国纽约州纽约市，647-658. ·Zbl 1284.68271号
[8] Zorzi，M。；量子lambda演算：一个基本的观点；数学。结构。计算。科学：2016; 第26卷，1107-1195·Zbl 1364.68208号
[9] 科克，B。；邓肯，R；教程：量子电路的图形微积分：柏林/海德堡，德国2013，1-13. ·Zbl 1451.81015号
[10] 美国达拉戈。；Zorzi，M。；波型令牌机与量子Lambda演算；第三届线性国际研讨会论文集（Linearity 2014）：；第176卷，第64-78页·Zbl 1477.68069号
[11] Paolini，L。；Zorzi，M。；量子电路计算语言qPCF；《计算模型的理论与应用——第14届年会论文集》，TAMC 2017：；卷10185，455-469·Zbl 1462.81061号
[12] Abramsky，S。；R·邓肯。；范畴量子逻辑；数学。结构。计算。科学：2006; 第16卷，469-489·Zbl 1099.03059号
[13] 巴尔塔格，A。；Smets，S。；量子逻辑作为一种动态逻辑；综合：2011年；第179卷，第285-306页·Zbl 1221.81022号
[14] Baltag，A。；Smets，S。；LQP：量子信息的动态逻辑；数学。结构。计算。科学：2006; 第16卷，491-525·Zbl 1103.03031号
[15] 马西尼，A。；维冈？，L。；Zorzi，M。；量子态变换的模态演绎系统；J.穆特-有值逻辑软计算：2011; 第17卷，第475-519页·Zbl 1236.68073号
[16] 维冈？，L。；沃尔佩，M。；Zorzi，M。；量子态变换与分布式时序逻辑分支（特邀论文）；逻辑、语言、信息和计算第21届国际研讨会论文集（WoLLIC 2014）：；第8652卷，1-19页·Zbl 1372.68190号
[17] 维冈？，L。；沃尔佩，M。；Zorzi，M。；用于无纠缠量子态变换推理的分支分布式时序逻辑；信息计算：2017; 第255卷，第311-333页·Zbl 1372.68191号
[18] Girard，J.Y；证明理论与逻辑复杂性：那不勒斯，意大利1987；第1卷，505·Zbl 0635.03052号
[19] 手指，M。；Gabbay博士。；组合时态逻辑系统；形式逻辑：1996；第37卷，204-232·Zbl 0857.03008号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。