首页/论文/1202.2750

arXiv 1202.27502012-02quant-ph

量子系统的拓扑逻辑与Bi-Heyting代数

Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras

Andreas Doering

备注：: 22 pages, no figures; v2: improved presentation, minor correction, all main results unchanged, added example. Accepted for publication in Logic & Algebra in Quantum Computing, Lecture Notes in Logic, published by the Association for Symbolic Logic in conjunction with Cambridge University Press

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

对于由物理量的冯·诺依曼代数描述的每个量子系统，我们关联一个完整的双海廷代数。这个代数的元素代表关于量子系统的物理量值的上下文化命题。

英文摘要：

To each quantum system, described by a von Neumann algebra of physical quantities, we associate a complete bi-Heyting algebra. The elements of this algebra represent contextualised propositions about the values of the physical quantities of the quantum system.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

子系统的完备Heyting代数与上下文

The complete Heyting algebra of subsystems and contextuality

本文研究了${\mathbb Z}(n)$中变量有限量子系统的有限子系统集作为Heyting代数。讨论了逻辑连接词的物理意义。结果表明，子系统的析取是比叠加更一般的概念。因此，与子系统中的投影仪相关的量子概率与海廷代数中的联接的结合性不相容，除非变量属于同一链。这就导致了语境性，在目前的形式主义中，语境性是海廷代数中的链。讨论了含有“Heyting因子”的逻辑贝尔不等式.形式主义也适用于所有有限量子系统的无限集，这是适当扩大，以成为一个完整的Heyting代数。

2013-10-14math-phmath.MPquant-ph

拓扑量子理论中的否定与相遇

Negations and Meets in Topos Quantum Theory

daseinisation是从普通量子理论中的正交模格到topos量子理论中的Heyting代数的映射。虽然分配性在正交模格中并不总是成立，但在Heyting代数中是成立的。我们调查的条件下，否定和满足被保存的daseinisation，和的条件下，任何元素的海廷代数通过daseinisation转化对应于一个元素在原来的正交模格。我们表明，这些条件是等价的，而且，不仅在非分配的正交模格的情况下，而且在布尔代数包含超过四个元素的情况下，从正交模格通过daseinisation变换的海廷代数将包含一个元素，不对应于任何元素的原始正交模格。

2021-11-30quant-ph

一种弱直觉量子逻辑

A Weakly Intuitionistic Quantum Logic

在本文中，我们激发和研究直觉量子逻辑的可能性。一个明确的调查的应用理论的布伦斯和Lakser分配壳对传统的量子逻辑（建议在[科]）导致我们对这个计划的一个小的修改。这样我们得到一个弱Heyting代数（cf. [CJ])来描述量子力学的语言。

2010-09-23quant-ph

动力学视角下的选言量子逻辑

Disjunctive Quantum Logic in Dynamic Perspective

在arXiv：math.LO/0011208中，我们提出了量子逻辑的{ \sl直觉或析取表示}，即，将物理系统的属性格表示为关于这些属性的逻辑命题的完全海廷代数，其中该完全海廷代数配备有附加运算，{ \sl运算归结}，其识别命题逻辑中的属性。这种表示有一个重要的应用“对动态量子逻辑”，即在描述物理系统的实际属性的时间不确定性传播。这篇论文可以被认为是“直觉主义视角下的量子逻辑”的附录，它讨论了分拆，从而提供了一个额外的动机。我们推导出一个quantaloidal语义的动态析取量子逻辑，并说明它的一个完美的（量子）测量的特定情况下。

2002-04-22math-phmath.LOmath.MP

物理性质作为量子力学topos方法中的模态算符

Physical properties as modal operators in the topos approach to quantum mechanics

在量子力学拓扑方法的框架下，我们给出了Heyting代数上模态算子的物理性质表示。它允许我们介绍一个经典的类型研究所提到的属性。

2014-12-21quant-ph

正交模格的负平移及其逻辑

Negative Translations of Orthomodular Lattices and Their Logic

我们引入剩余正交格作为一个推广-和环境的调查-正交模格。我们建立了一些基本的代数事实，这些结构，特征orthomodular格作为那些剩余的ortholatices，其剩余操作是项定义的对合格签名，并证明，剩余ortholatices是代数命题逻辑的等价代数语义。我们还表明，正交模格可以解释剩余正交格通过翻译的精神，双否定翻译的布尔代数到Heyting代数，并结束了一些评论的可判定性。

2021-09-13math.LOquant-ph

更多相关论文收起更多论文

算子代数的玻化与量子逻辑

Bohrification of operator algebras and quantum logic

继伯克霍夫和冯·诺依曼之后，量子逻辑传统上是基于某些希尔伯特空间的闭线性子空间的格，或者更一般地，基于冯·诺依曼代数A中的投影格。不幸的是，这些格的逻辑解释受到它们的非分配性和其他各种问题的影响。我们表明，一个可能的解决方案，这些困难，所建议的玻尔的想法，出现，而不是单一的投影认为基本命题是家庭的投影指标的偏序集C（A）适当的交换子代数的A。事实上，为了在topos理论中实现最大的通用性和易用性，我们假设A是一个所谓的RickartC *-代数，并且C（A）由A的所有单位交换RickartC *-子代数组成。这样的投影族以一种自然的方式形成了一个海廷代数，因此相关的命题逻辑是直观的：分配性是以排中律为代价恢复的。随后，推广早期的计算n × n矩阵，我们证明了海廷代数，从而与A出现的基础的内部Gelfand谱（在Banaschewski-Mulvey的意义上）的“Bohrification”的A，这是一个交换RickartC *-代数在拓扑的函子从C（A）的范畴。我们解释这种结构的关系，部分布尔代数和Bruns-Lakser完成。最后，我们建立了Hilbert空间H上投影格上的概率测度与A的内Gelfand谱上的概率赋值之间的联系，其中A = B（H）。

2010-07-19math.LOmath.OAquant-ph

测量作为上层空间化：量子力学之后的上下文、逻辑与真理

Measurement as Sheafification: Context, Logic, and Truth after Quantum Mechanics

Tagore Centre for Natural Sciences and Philosophy（塔戈尔自然科学与哲学中心）

本文通过将量子测量重新解释为预层值真理的sheafification，提出量子理论本质上是上下文相关的，并利用直觉主义逻辑和七值上下文逻辑来解决量子测量问题。

2025-12-16quant-ph

波赫利化

Bohrification

通过代数量子理论和拓扑理论的融合，建立了量子逻辑和量子空间的新基础。从数学上解释玻尔的“经典概念学说”，给定一个由非交换C*-代数A描述的量子理论，我们构造一个拓扑T（A），它包含A的“玻尔化”B作为内部交换C*-代数。那么B有一个谱，一个位于T（A）内部的区域，我们将其外部描述S（A）解释为物理系统的“Bohrified”相空间。在经典物理学中，S（A）的开子集对应于（原子）命题，因此A的“Bohrified”量子逻辑由S（A）的Heyting代数结构给出。这种逻辑与经典逻辑的关键区别在于前者不满足排中律，因而是直觉主义的。当A包含足够多的投影时（例如，当A是冯诺依曼代数，或者更一般地，RickartC *-代数时），A的直觉量子逻辑S（A）也可以与传统的量子逻辑，即A中投影的正交模格进行比较。这一次，主要的区别是前者是分配的（即使A是非交换的），而后者不是。本章是0709.4364、0902.3201、0905.2275的简化综合。

2010-07-16quant-ph

量子力学模式解释的拓扑论推广

Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics

本文研究量子命题的拓扑论真值赋值。具体地说，一个特定类型的模态方法的数学框架扩展到拓扑理论，并进一步得到的真值赋值的结构进行了研究。所采用的是基于确定格$\Dcal(e,R)$的模态方法，该确定格是所有量子命题的格$\Lcal$的子格，并且由量子态$e$和优选的确定可观测$R$确定。在函子范畴$\Sets^{\CcalR}$中进行拓扑论扩张，其基范畴$\CcalR$由$R$确定.每个真原子决定$\Dcal(e,R)$中所有命题的真值，真或假，也产生一个多值赋值函数，其域和值域分别是$\Lcal$和由$\Sets^{\CcalR}$中的子对象分类器给出的Heyting代数。$\Dcal(e,R)$中的所有真命题都被赋值函数赋予Heyting代数的顶元素。然而，包括空命题在内的假命题被赋予比底部元素更大的值。这个缺陷可以通过使用子对象半分类器来消除。此外，为了在一个统一的框架下处理所有可能的确定性观测量，在函子范畴$\Sets^{\Ccal}$中构造了另一个赋值。这里，基本类别$\Ccal$包括作为子类别的所有$\CcalR$.虽然$\Sets^{\Ccal}$具有与$\Sets^{\CcalR}$明显不同的结构，但$\Sets^{\Ccal}$的子对象半分类器给出的赋值与$\Sets^{\CcalR}$的赋值完全等价。

2007-11-14gr-qcquant-ph

拓扑理论与相容历史：相容集之集的内在逻辑

Topos Theory and Consistent Histories: The Internal Logic of the Set of all Consistent Sets

量子理论的相容历史方法的一个主要问题是与潜在的大量相容的历史命题集竞争。一种可能性是找到一种方案，其中以某种方式选择唯一的集合。然而，在本文中，我们考虑的替代方法，其中所有的一致集保持，导致一种类型的“许多世界观”的量子理论的图片。它表明，一个自然的方式来处理这种情况是采用理论的变化集（预层）的空间$\B$的所有布尔子代数的正交代数$\UP$的历史命题。这种方法自动包含了这样一个特征，即概率预测只有在一组一致的历史命题的背景下才有意义。更引人注目的是，它导致了这样一幅画面，其中的“真值”，或“语义值”的这种上下文预测不只是两个值（\ie真和假），而是躺在一个更大的逻辑代数-一个海廷代数-其结构是由空间$\B$的布尔子代数$\UP$。

1996-07-28gr-qcquant-ph

亚里士多德理论导论

An Introduction to Effectus Theory

量子理论是范畴逻辑的一个新分支，旨在捕捉量子逻辑的本质，概率逻辑和布尔逻辑是其特例。效应理论中的谓词不是像拓扑理论中那样具有海廷代数结构的子代数，而是形成效应代数的“特征”函数。这种效应代数是数量逻辑的代数模型，其中双重否定成立。量子理论中的效应和概率论中的模糊谓词形成了效应代数的例子。这篇文章是一个帐户的基础理论的效果。它包括状态和效果之间的基本二元性，以及特定状态下效果（谓词）有效性的相关伯恩规则。一个基本的结果是，效果可以用“全部”和“部分”两种形式来描述。所谓的“交换”和“布尔”效应的区别，概率和经典模型。它显示了这些布尔效应是如何本质上是广泛的类别。该理论的很大一部分致力于理解和商数的逻辑概念，它们分别被抽象地描述为真理的右伴随和谬误的左伴随。它说明了理解和理解是如何与测量密切相关的。本文结束了一节的“非交换”effectus理论，适当的形式化还不完全清楚。

2015-12-17cs.LOquant-ph

直觉主义视角下的量子逻辑

Quantum Logic in Intuitionistic Perspective

在他们的开创性论文伯克霍夫和冯诺依曼揭示了以下困境：“.对于逻辑学家来说，否定的正交互补性质是最经不起批判性分析的性质，而力学的研究则指出，分配恒等式是逻辑代数中最薄弱的环节。“在本文中，我们消除了这种困境，提供了一种同时保持两者的方法。通过在物理系统的性质格中引入“缺失”的析取，同时将交作为合取继承，我们得到了一个关于物理性质的完备的Heyting命题命题代数代数.特别是有一个双射之间的对应关系的性质格和命题格配备了所谓的操作决议，一个操作，暴露的性质的水平上的命题。如果属性格配备了一个正交补，那么这个双射对应可以被细化为一个配备了运算补的命题格，这样就建立了上面的主张。从形式上讲，通过物理和逻辑上的考虑，我们分别重新发现了Bruns和Lakser（1970）关于交半格的内射壳的纯数学结果的一个规范和一个改进。从我们的表示，我们可以得到一个真正直观的功能性的影响，财产格，因此面对索赔在以前的著作就此事。我们还对析取性与分配性、有限与无限合取性作了详细的分析，简要地回顾了Bruns-Lakser构造并指出了一些有待解决的问题。

2002-04-22math-phmath.LOmath.MP

量子语境拓扑斯的基础：在量子逻辑中整合模态与拓扑斯理论

Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic

本文提出量子语境拓扑斯（QCT）框架，在拓扑斯结构中整合模态算子与经典命题逻辑，以解决经典量子逻辑的局限，并证明其内部逻辑为经典命题多模态逻辑，通过推广Stone表示定理实现。

2024-09-04math-phmath.LOmath.MP