Jort M.Bergfeld。；Kohei的Kishida；约书亚·萨克；钟，沈阳 量子行为逻辑的二重性。 （英语） Zbl 1361.06005号 螺柱日志。 103，第4期，781-805（2015）. 作者展示了两类量子结构之间的对偶性（对于两种不同类型的态射）。第一类是Piron格的范畴，即基于可测性满足覆盖性的不可约原子完备正交模格。第二类是基于系统状态的量子动力学框架（标记的过渡系统）。审核人：约瑟夫·特卡德莱克（普拉哈） 引用于5文件 MSC公司： 06年50月 格与对偶 03G12号机组 量子逻辑 81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面） 18B35型 预订单、订单、域和格（视为类别） 关键词：量子逻辑；皮龙晶格；量子动力学框架；二元性 PDF格式BibTeX公司 XML格式引用 \textit｛J.M.Bergfeld｝等人，研究日志。103，第4号，781--805（2015；Zbl 1361.06005） 全文： 内政部 参考文献： [1] Aerts，D.，量子公理学，见K.Engesser、D.M.Gabbay和D.Lehmann，（编辑），量子逻辑和量子结构手册，第1版。，Elsevier Science B.V.，阿姆斯特丹，2009年，第79-126页·Zbl 1273.81015号 [2] Awodey S.：范畴理论。牛津大学出版社，牛津（2006）·Zbl 1100.18001号 ·doi:10.1093/acprof:oso/9780198568612.001.0001 [3] Baltag A.，Smets S.：量子作用的完全公理化。国际理论物理杂志44（12），2267-2282（2005）·兹比尔1110.81013 ·doi:10.1007/s10773-005-8022-2 [4] Baltag A.，Smets S.：LQP：量子信息的动态逻辑。计算机科学中的数学结构16（3），491-525（2006）·Zbl 1103.03031号 ·doi:10.1017/S09601290506005299 [5] Beltrametti，E.和G.Cassinelli，《量子力学的逻辑》，《数学及其应用百科全书》，Addison-Wesley出版社，波士顿，1981年·Zbl 0491.03023号 [6] Birkhoff G.：晶格理论。美国数学学会，纽约（1967年）·Zbl 0153.02501号 [7] Blackburn P.，de Rijke M.，Venema Y.：模态逻辑。剑桥大学出版社，剑桥（2001）·Zbl 0988.03006号 ·doi:10.1017/CBO9781107050884 [8] Coecke B.，Smets S.：Sasaki钩子不是一个[静态]关联连接词，而是一个向后[及时]动态连接词，用于指定原因。国际理论物理杂志43，1705-1736（2004）·Zbl 1077.81006号 ·doi:10.1023/B:IJTP.000048815.92983.6e [9] Faure C.-A.：射影几何基本定理的初等证明（献给Alfred Frölicher）。Geometriae Dedicata 90（1），145-151（2002）·Zbl 0996.51001号 ·doi:10.1023/A:1014933313332 [10] Goldblatt R.：直系词的语义分析。《哲学逻辑杂志》3，19-35（1974）·Zbl 0278.02023号 ·doi:10.1007/BF00652069 [11] Harel D.、Tiuryn J.、Kozen D.：动态逻辑。麻省理工学院出版社，马萨诸塞州剑桥（2000）·Zbl 0976.68108号 [12] Johnstone P.T.：石头空间。剑桥大学出版社，剑桥（1982）·Zbl 0499.54001号 [13] Kalmbach G.：正交模格。伦敦学术出版社（1983）·Zbl 0512.06011号 [14] Kozen，D.、K.G.Larsen、R.Mardare和P.Panangaden，马尔可夫过程的Stone对偶性，第28届IEEE计算机科学逻辑研讨会论文集：LICS·Zbl 1433.06006号 [15] Mayet R.：用自同构刻画希尔伯特格的基本除环。国际理论物理杂志37，109-114（1998）·Zbl 0904.06009号 ·doi:10.1023/A:1026669407606 [16] Moore D.J.：物理系统表示的类别。Helvetica Physica Acta 68，658-678（1995年）·Zbl 0856.18002号 [17] ：在状态空间和属性格上。科学史与哲学研究第二部分：现代物理史与哲学的研究30（1），61-83（1999）·Zbl 1222.81015号 ·doi:10.1016/S1355-2198（98）00033-1 [18] Piron C.：量子物理学基础。W.A.Benjamin Inc.，旧金山（1976年）·Zbl 0333.46050号 ·doi:10.1007/978-94-010-1440-37 [19] Stone M.H.：布尔代数的表示理论。美国数学学会学报40，37-111（1936）·Zbl 0014.34002号 [20] Stubbe，I.和B.van Steirteghem，命题系统，Hilbert格和广义Hilbert空间，收录于K.Engesser，D.M.Gabbay和D.Lehmann（编辑），《量子逻辑和量子结构手册》，Elsevier Science B.V.，阿姆斯特丹，2007年，第477-523页·Zbl 1126.81009号 [21] Venema，Y.，代数和余代数，见P.Blackburn、J.van Benthem和F.Wolter（编辑），模态逻辑手册，逻辑和实践推理研究第3卷，Elsevier，纽约，2007年，第331-426页·Zbl 1114.03001号 [22] Wilce，A.，《量子逻辑和概率论》，收录于E.N.Zalta（编辑），《斯坦福大学哲学百科全书》，2012年秋季版。，2012. ·Zbl 1462.81011号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。