论文标题
量子场理论的动态逻辑
Dynamic Logic of Quantum Field Theory
论文作者
论文摘要
尽管已经研究了量子力学的逻辑，但QFT的逻辑尚未研究。我们通过介绍动态逻辑的观点来制定QFT的逻辑，因为在逻辑意义上，QFT中两个基本操作员的性质，即创建和an灭操作员。在制定QFT的动态逻辑后，我们对费米子，所谓的真空状态，零向量和QFT的传播器提供了动态逻辑解释。我们还强调，只有重言式$ \ top $和矛盾$ \ bot $是我们逻辑的原子公式。最后，我们展示了如何从QFT的动态逻辑中自然解释Aharonov-Bohm效应。本文应该是从动力学角度研究QFT逻辑的开始。
Although logic of quantum mechanics has been studied for a long time, logic of QFT has not been studied before. We formulate logic of QFT by introducing the perspective of dynamic logic, because the nature of two fundamental operators in QFT, namely creation and annihilation operators, is dynamic in the sense of logic. After we formulate dynamic logic of QFT, we give a dynamic logical interpretation of fermions, the so-called vacuum state, the zero vector and propagators in QFT. We also emphasize that only a tautology $\top$ and a contradiction $\bot$ are atomic formulas of our logic. Finally, we show how Aharonov-Bohm effect can be explained naturally from our dynamic logic of QFT. This paper should be the beginning of studying logic of QFT from a dynamical point of view.
