Fuzzy Propositional Logic Associated with Quantum Computational Gates
我们应用剩余结构与模糊逻辑发展某些方面的信息处理在量子计算从逻辑的角度来看。为此，我们引入了一个公理系统，其自然解释是不可逆的量子庞加莱结构。
2006-12-26 quant-ph
Quantum Logic and Quantum Reconstruction
量子逻辑被理解为一种重建程序，它既有真正的成功，也有真正的局限。本文提供了两者的概要，并提出了一种在更大的，仍然蓬勃发展的背景下看待量子逻辑的方法。
2015-01-22 quant-ph
Measurement-based quantum computation and undecidable logic
我们建立了基于测量的量子计算和数理逻辑领域之间的联系。我们表明，计算能力的一类重要的量子态称为图形状态，代表资源的测量为基础的量子计算，反映在表达能力的（经典）形式逻辑语言定义的基础数学图形。特别是，我们表明，对于所有的图形状态资源，可以产生一个计算速度相对于经典计算，底层图形-描述的量子相关的状态-与不可判定的逻辑理论。在这里，不可判定性被解释为类似于哥德尔的不完备性结果，这意味着存在命题，可以在上述经典形式逻辑中表达，不能被证明或反证。
2008-03-27 quant-ph
Quantum Computational Logics. A Survey
量子计算提出了量子逻辑的新形式，称为量子计算逻辑。基本的语义思想如下：句子的意义被识别为quregister，一个量子比特系统，代表一个复合量子系统的可能纯态。对混合态的推广，这可能有助于分析纠缠现象，是由于Gudder。量子计算逻辑代表了非尖锐量子逻辑的非标准示例，其中违反了非矛盾原则，而合取和析取是强非幂等的。在这个框架中，语言中的任何句子都会产生一棵量子树：一种量子线路，它将与句子的原子子公式相关联的quregister转换为与句子相关联的quregister。
2003-05-06 quant-ph
Holistic logical arguments in quantum computation
量子计算逻辑表示量子计算中电路理论的逻辑抽象。在这些逻辑中，公式应该表示量子信息（量子比特、四元寄存器或四元寄存器的混合），而逻辑连接符对应于以可逆方式转换量子信息的（量子逻辑）门。量子理论形式主义的整体特征（在纠缠现象中起着至关重要的作用）可以用来开发量子计算语义的整体版本。与大多数标准语义方法的组合特征相比，公式的含义在这里被处理为全局抽象对象，其确定公式的组件（从整体到部分）的上下文含义。我们提出了一个调查的最重要的逻辑参数是有效的，或可能违反这个语义的框架。有些逻辑特征表面上看起来很奇怪，但实际上却很好地反映了我们目前在理性活动中所使用的非正式论证。
2016-02-13 quant-ph
Quantum Logic
我们研究了标准方法和非锐化方法所产生的量子逻辑的某些形式。
2001-01-06 quant-ph
Quantum logic as a sum over classical logic gates
证明了某些自然量子逻辑门{ \it，即}自旋- \frac{1}{2}量子自旋的酉时间演化矩阵可以表示为在经典逻辑门上具有适当相位的和，与量子力学的Feynman路径积分表示直接类似。另一方面，它表明，一个自然的量子门得到的各向异性最近邻伊辛模型的传输矩阵解析继续虚时间，不承认这样的表示。
1996-06-16 quant-ph
Fault-tolerant Quantum Computation with Highly Verified Logical Cluster States
研究了一种基于簇模型的容错量子计算方案。逻辑量子比特由合适的代码编码，例如Steane的7量子比特代码。通过高保真度验证后选择的方法制备逻辑量子比特的团簇态，不成功的团簇态被丢弃而不进行恢复操作。然后，通过对准备好的逻辑簇状态进行横向测量来实现门操作。通过高保真度的制备和横向测量，噪声阈值得到了显著的提高。通过数值模拟估计约为3%。
2006-11-15 quant-ph
Quantum logic network for probabilistic cloning the quantum states
我们构造了有效的量子逻辑网络，用于概率克隆所实现的任务中使用的量子态，克隆提供了一些性能上的增强。
2003-11-25 quant-ph
Hoare Logic for Quantum Programs
Hoare逻辑是经典程序公理化语义的基础，它为经典程序的正确性推理提供了有效的证明技术。为了提供类似的量子程序验证技术，并建立一个量子计算机编程方法的逻辑基础，我们开发了一个完整的霍尔逻辑的部分和全部正确的量子程序。通过利用量子程序的最弱前提和最弱自由前提的力量，证明了该逻辑是（相对）完备的。
2009-06-25 quant-ph
Dynamic Quantum Logic for Quantum Programs
我们提出了一种将量子逻辑应用于量子程序研究的方法。这是通过使用通常的命题语言的扩展，以使系统上执行的转换显式出现。这样，系统的演化就成为逻辑研究的一部分。我们展示了如何酉操作和两个值的测量可以包括在这种形式主义，从而可以处理逻辑。
2003-11-20 quant-ph
Logical structures underlying quantum computing
在这项工作中，我们提出了一个广义的量子计算逻辑能够处理一些重要的例子量子算法。我们概述了这些结构的代数公理化。
2019-01-18 quant-ph
A note on many valued quantum computational logics
量子计算的标准理论依赖于基本信息量由正则基元素的叠加表示的想法，概率的概念自然地遵循玻恩规则。在这项工作中，我们考虑三值量子计算逻辑。更具体地说，我们将关注希尔伯特空间C^3，我们讨论几个门到这个空间的扩展，并且使用效应概率的概念，我们提供了它的状态的特征。
2016-02-13 quant-ph
Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics. An Algebraic Approach
在本文中，我们提出了所谓的代数方法命题量子逻辑的基本原理。我们将描述量子实在的公式集定义为由量子命题变量集自由生成的自由代数。我们将逻辑的一般概念定义为结构性的结果运算。接下来，我们介绍逻辑矩阵的概念，它被理解为量子逻辑的模型。我们给出了在这些模型中定义的两个量子后果运算的定义。
2009-02-21 quant-ph
Multi-valued Logic Gates for Quantum Computation
我们开发了一种用于多能级量子系统的量子计算的多值逻辑，并讨论了这种方法在按比例放大量子计算机方面的实际优势。推广二进制量子逻辑的方法，我们建立了任意数量的d-能级系统（d > 2）上的任意幺正操作可以分解成逻辑门，一次只对两个系统进行操作。我们表明，这样的多值逻辑门的线性离子阱计划的背景下，量子计算实验是可行的。通过在该方案中使用每个离子中的d个能级，我们将计算所需的离子数量减少了log d的因子。
2000-06-12 quant-ph
Simulation of Markovian quantum dynamics on quantum logic networks
我们研究了如何使用可编程量子处理器来模拟量子比特的马尔可夫动力学的生成器。
2005-04-04 quant-ph
Superlogic Manifolds and Geometric approach to Quantum Logic
本文的主要目的是提出一种新的逻辑方法，我们称之为超逻辑。这种方法构成了一种看待量子力学和逻辑之间联系的新方法。它是量子逻辑的{ \it几何化}。注意，这个超逻辑不是分配的，反映了描述量子力学、非对易空间的良好性质，并且包含一个幂零元素。
2015-05-05 quant-ph
Relation of the Bell inequalities with quantum logic, hidden variables and information theory
我回顾的关系的贝尔不等式-特征（经典）的概率定义的布尔逻辑-与非上下文和本地隐藏变量理论的量子力学和量子信息。
2002-07-10 quant-ph
Quantum Structures as Generative Scores: Partition Logic, Generative Logic, and Aesthetic Form
HSD University of Applied Sciences（杜塞尔多夫应用科学大学）；Institute for Theoretical Physics, TU Wien（维也纳技术大学理论物理研究所）
通过将有限分区逻辑转化为基于Prolog的简单生成逻辑语法，连接分区逻辑与生成逻辑。以五原子V-逻辑L_{12}生成模块化视觉艺术品量子正方形，实现逻辑结构与视觉、文本或声音表现的分离。
2026-04-20 quant-ph
A Practical Method of Constructing Quantum Combinational Logic Circuits
本文描述了一种用基本的量子逻辑门如非门和一般的$n$位Toffoli门构造量子组合逻辑电路的实用方法。这种方法有助于找到量子线路，以评估最适合在给定量子计算机上实现的形式的逻辑函数。在卡诺图的帮助下，获得最有效电路的规则得到了最好的利用。解释了由于量子逻辑电路与经典逻辑电路的不同，卡诺图的使用规则发生了变化。
1999-11-12 quant-ph
A Lecture on Quantum Logic Gates
本文对量子逻辑门中的n重控制幺正门的构造作一简要评述。
2001-01-13 quant-ph
A Weakly Intuitionistic Quantum Logic
在本文中，我们激发和研究直觉量子逻辑的可能性。一个明确的调查的应用理论的布伦斯和Lakser分配壳对传统的量子逻辑（建议在[科]）导致我们对这个计划的一个小的修改。这样我们得到一个弱Heyting代数（cf. [CJ])来描述量子力学的语言。
2010-09-23 quant-ph
Analytic solutions for quantum logic gates and modeling pulse errors in a quantum computer with a Heisenberg interaction
我们分析和数值计算量子逻辑门在一维自旋链海森堡相互作用。针对基于逻辑量子比特的量子计算机，给出了基本单量子比特门和交换门的解析解。我们计算了实现量子逻辑门的不完美脉冲所引起的误差。数值计算表明，概率误差与$ε^4$成正比，相位误差与$ε$成正比，其中$ε$是与理想脉冲宽度的特征偏差。
2003-11-21 quant-ph
Logical blocks for fault-tolerant topological quantum computation
本文提出逻辑块框架，以时空统一方式描述拓扑逻辑门，并基于表面码与LDPC码级联及FBQC实现通用容错量子计算，验证阈值一致性并探索减少资源开销的新方案。
2023-04-13 quant-ph
Is Quantum Logic a Logic?
它表明，量子逻辑是一个逻辑在非常相同的方式，经典逻辑是一个逻辑。量子逻辑和经典逻辑的可靠性和完备性已经在新的格模型中得到了证明，这些格模型不是正交模的，因此也不能是分配的--而标准格模型对于相应的逻辑是正交模的和分配的。因此，我们不能把正交模性归因于量子逻辑本身，也不能把分配性归因于经典逻辑本身。对于新模型的逻辑赋值是非数值的，因此真值和真值表真值表一般不能归因于逻辑命题本身，而只能归因于某些模型的变量--例如二值布尔代数。首先，逻辑是公理化的演绎系统，如果我们不考虑它们的语义（模型、赋值等），那么量子逻辑和经典逻辑在作为两个演绎系统的意义上将具有完全平等的地位，这两个演绎系统在一些公理上彼此不同，而没有别的。没有理由认为这两种逻辑中的任何一种比另一种更“恰当”。这些逻辑的语义属于它们的模型，我们表明，有更大的差异，上述两个经典模型之间比两个相应的量子和经典模型。
2008-12-15 quant-ph
Contextual logic for quantum systems
在这项工作中，我们建立了一个量子逻辑，使我们能够从一个固定的，没有矛盾的量子力学表示不去定理涉及到不同的上下文的物理量。这个逻辑来自于考虑一个拓扑空间上的层，它与物理系统的希尔伯特空间的闭子空间的正交格的布尔子格相关联。与标准量子逻辑不同的是，上下文逻辑保持了一个分配格结构，并将蕴涵定义为合取的剩余。
2007-02-02 quant-ph
Universal Quantum Computation with Shutter Logic
我们表明，通用的量子逻辑可以实现仅使用线性光学和量子快门设备。有了这些元素，我们设计了一个量子存储器的任何数量的量子比特和CNOT门，这是一个通用的量子计算机的基础。给出了一个无相互作用的量子快门模型。
2006-05-29 quant-ph
Dynamic Logic of Quantum Field Theory
虽然人们对量子力学逻辑的研究由来已久，但对量子场论逻辑的研究却从未有过。由于QFT中的两个基本算子，即创造算子和湮灭算子，在逻辑意义上是动态的，因此我们引入动态逻辑的观点来表述QFT的逻辑。在给出量子场论的动力学逻辑之后，我们给出了量子场论中费米子、真空态、零矢量和传播子的动力学逻辑解释。我们还强调，只有重言式$\top$和矛盾式$\bot$才是我们逻辑的原子公式。最后，我们展示了Aharonov-Bohm效应如何从我们的QFT动态逻辑中得到自然的解释。本文应该是从动力学角度研究量子理论逻辑的开端。
2020-07-03 quant-ph
Open n-Qubit System as a Quantum Computer with Four-Valued Logic
本文将量子计算机的一般模型推广到一个模型，其中态是密度矩阵的算符，门是一般的超算符（量子运算），而不必是幺正的。本文考虑n个二能级量子系统（开或闭n量子比特系统）的混合态（密度矩阵算符）作为$4^{n}$维算符希尔伯特空间（Liouville空间）的元素。它允许使用具有4值逻辑的量子计算机（电路）模型。该模型的门是作用于n-quats态的一般超算子。Ququat是四维（算符）希尔伯特空间中的量子态。酉二值逻辑门和n量子比特开放系统的量子运算被认为是作用于n-四元的四值逻辑门。讨论了量子四值逻辑门的性质。本文研究了量子四值逻辑门的普适性。
2001-12-04 quant-ph
Quantum theory is logically inevitable
广义相对论要求放弃欧几里得几何。在这里，我们表明，量子理论需要放弃经典逻辑。我们证明了量子理论的希尔伯特空间表示在逻辑上是不可避免的。没有量子理论的基本原理。我们发现了经典逻辑的一个必然的概括。该合取可以取负值，并简化为经典的合取顺序不变的测量。合取的期望值是一个可以取负值的广义联合概率。交换合取导致了量子理论的希尔伯特空间形式。量子理论适用于微观和宏观系统。经典性由广义联合概率的非负性表示。我们通过应用逻辑来解释量子认知中令人困惑的结果来说明这一点。
2021-11-22 quant-ph
Characterization of quantum states in predicative logic
在基本逻辑及其定义方程的框架下，在一个具有等式的谓词逻辑中，我们用一阶变量和随机变量刻画了量子态.本文引入随机一阶Domain的概念，并通过一个聚焦条件得到了谓词逻辑中纯态和命题逻辑中混合态的一个刻画。我们讨论的作用，一阶变量和相关的上下文，在序列。
2011-07-15 quant-ph
From Quantum Metalanguage to the Logic of Qubits
本论文的主要目的是寻找一种能够描述量子信息及其性质的逻辑演绎演算（我们将采用Gentzen，1935年提出的量子演算）。更确切地说，我们打算用逻辑术语描述量子比特（量子信息的单位）的形成，它是两个经典比特0和1的特定线性叠加。为此，我们必须在一个量子比特Lq的逻辑中引入新的连接“量子叠加”，因为经典的合取不能描述这个量子链接。
2010-03-31 quant-ph
Addressable gate-based logical computation with quantum LDPC codes
University of Strasbourg（斯特拉斯堡大学）；CNRS, CESQ（法国国家科学研究中心，量子电子学与光谱学中心）
本文提出一种基于门的可寻址协议，利用辅助Bacon-Shor码和量子隐形传态在量子LDPC码上实现单量子比特及多量子比特Clifford操作，并可结合魔态培养实现通用容错量子计算。
2025-11-08 quant-ph
Distillation of logic-qubit entanglement assisted with cross-Kerr nonlinearity
逻辑量子比特纠缠在量子通信和量子计算中都引起了广泛的关注。在这里，我们提出了一个有效的协议，提取的逻辑量子比特纠缠的交叉克尔非线性的帮助下。该协议不仅可以净化逻辑位翻转错误和逻辑相位翻转错误，而且可以完全纠正物理位翻转错误。我们利用交叉克尔非线性构造量子非破坏探测器。我们提出的逻辑量子比特纠缠的蒸馏方案对量子信息，特别是长距离量子通信的实际应用有一定的参考价值。
2016-05-16 quant-ph
Quantum logic gates and maximally entangled states in microtraps
这篇论文已被撤回，因为第一作者在提交论文之前没有咨询其他作者。
2002-04-08 quant-ph
Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox
National Technical University of Athens（雅典国立技术大学）；Xavier University of Louisiana（路易斯安那泽维尔大学）
本文提出一种量子电路模型，通过内在机制在单位元演化中强制逻辑一致性，解决自指和悖论问题，将一致性作为推理系统的结构性属性。
2025-12-26 quant-ph
Design and optimisation of quantum logic circuits for a three-qubit Deutsch-Jozsa algorithm implemented with optically-controlled, solid-state quantum logic gates
我们分析了量子逻辑电路的设计和优化，适用于基于光控固态量子逻辑门的三量子比特量子计算原型的实验演示。在这些门中，由供体的电子自旋携带的两个量子比特之间的相互作用由放置在它们附近的控制粒子的光激发介导。首先，我们用几何方法分析这些量子门的纠缠特性。然后，使用遗传编程算法，我们开发电路的改进Deutsch-Jozsa算法调查不同的策略，以获得短的总计算时间。我们测试了两种不同的方法，基于使用不同的纠缠门与最短的门计算时间，然而，不引入泄漏的量子信息的控制粒子。第一组利用控制相位门的快速近似作为纠缠门，而另一个任意纠缠门与第一组相比具有更短的门计算时间。我们已经确定了电路，始终较短的总计算时间时，使用受控相位门。
2009-10-09 quant-ph
Logical measurement-based quantum computation in circuit-QED
针对电路量子电动力学中的光子丢失问题，提出了一种新的基于测量的量子计算方案。我们描述了一个特定的协议的逻辑单量子比特门给出的顺序腔测量逻辑MBQC和广义薛定谔猫态被用于连续变量（CV）的逻辑量子比特捕获在微波腔。假设在三个连接的腔中制备三个CV量子比特纠缠态，并通过与辅助超导量子比特耦合的读出谐振器对微波量子比特态进行单独控制、操作和测量。然后，我们研究了一种实用的方法，如何创建的CV-量子点集群状态通过交叉克尔相互作用下的Jaynes-Cummings哈密顿量的相邻腔之间的中间超导量子比特诱导。这种方法可以扩展用于构建2D逻辑簇态，因此将为超导电路中的逻辑MBQC向容错量子计算铺平新的途径。
2018-08-23 quant-ph
Simulations of Quantum Logic Operations in Quantum Computer with Large Number of Qubits
我们报告了大量量子位（高达1000）的量子逻辑操作的动力学的第一次模拟。考虑了一个核自旋链，其中自旋的选择性激发由外磁场的梯度提供。自旋与它们最近的邻居相互作用。我们模拟了远程量子比特的控制非（CN）门实现，它提供了长距离纠缠。我们的方法可以应用于任何涉及大量量子位的量子逻辑门的实现。
1999-09-09 quant-ph
Quantum Logic with a Single Trapped Electron
我们建议使用一个被困的电子来实现量子逻辑操作。基本的控制非门被证明是可行的。这两个量子比特存储在内部和外部（运动）自由度中。
1999-12-02 quant-ph
Nondeterministic testing of Sequential Quantum Logic propositions on a quantum computer
在过去的几年中，已经证明，通用的量子计算可以通过投影测量单独获得，而不需要酉门。这表明量子计算的基本逻辑可能是量子测量序列的代数，而不是幺正算子乘积的代数。这种顺序量子逻辑（SQL）是在70年代后期发展起来的，最近被应用于量子力学的一致性历史框架，作为量子引力理论的一条可能途径。在这封信中，我给出了一个在量子计算机上判定SQL中一个命题的真值的方法，其成功概率为非零。
2005-09-28 quant-ph
Teleportation implementation of non-deterministic quantum logic operations by using linear optical elements
我们提出了一个可行的方案，利用隐形传态协议实现Knill，Laflamme和Milburn（Nature，409，46-52（2001））的非确定性量子逻辑运算，该方案只需要单光子源、线性光学元件和光子探测器。
2002-04-13 quant-ph
Quantum Logic Gates using q-deformed Oscillators
我们表明，量子逻辑门，{ \it即}。单量子位Hadamard门和相移门也可以使用通过具有两个q变形振荡器的Jordan-Schwinger机制构造的q变形角动量态来实现。{ \it Keywords：}量子逻辑门; q变形振荡器;量子计算{ \it PACS：} 03.67.Lx ; 02.20.Uw
2006-07-14 quant-ph
QFT based quantum arithmetic logic unit on IBM quantum computer
本研究基于量子傅里叶变换构建了量子算术逻辑单元，支持加法和与非门操作，在IBM量子硬件上验证了高成功率，并探讨了构建量子软核处理器的潜力。
2023-06-16 quant-ph
Fuzzy Logic and Quantum Measurement Formulation
冯·诺依曼量子测量理论和Zurek理论都是建立在量子系统、仪器和环境服从量子力学规则的假设基础上的。根据Zurek理论，观察者通常与周围环境相互作用。本文给出了量子测量理论的一个更真实的形象，并基于模糊逻辑和模糊集合理论对Zurek量子测量理论提出了一个修正。
2016-04-23 quant-ph
Quantum logic networks for probabilistic and controlled teleportation of unknown quantum states
提出了一种单粒子和两粒子未知量子态的概率隐形传态和受控隐形传态的简化方案，并通过单量子比特门、双量子比特受控非门、冯·诺依曼测量和经典控制操作等基本操作构造了实现新方案的有效量子逻辑网络.在这些方案中，隐形传态并不总是成功的，但有一定的概率。
2003-12-02 quant-ph
Scalable Constant-Time Logical Gates for Large-Scale Quantum Computation Using Window-Based Correlated Decoding
本文提出一种结合延迟修复线路与窗口相关解码的架构，实现可扩展常数时间逻辑门，降低解码频率和持续时间，并支持时间最优容错量子计算，适用于离子阱等大规模量子计算系统。
2025-01-02 quant-ph
Qubitless Quantum Logic
我们讨论了量子逻辑在强相互作用粒子系统中的实现。这种实现是无量子位的，因为"逻辑量子比特"不对应于任何物理双态子系统。作为一个例子，我们提出的量子控制非门和Shor的算法的模拟结果的自旋1/2的粒子链海森堡耦合。我们的建议扩展了当前的量子信息处理理论，包括系统之间的两个状态的子系统的永久强耦合。
2002-03-15 quant-ph
Conditional Quantum Dynamics and Logic Gates
量子逻辑门提供了条件量子动力学的基本例子。它们可以构成一般量子信息处理系统的基本组成部分，这些系统最近被证明具有许多有趣的非经典性质。本文描述了一种简单的量子逻辑门--量子受控非门，并分析了它的一些应用。我们讨论了两种可能的物理实现的门，一个基于拉姆齐原子干涉法和其他的两个子系统进行偶极-偶极相互作用的光共振的选择性驱动。
1995-03-24 quant-ph
Quantum Entanglement Through the Lens of Paraconsistent Logic
本研究针对量子力学中态叠加、非定域性等挑战经典因果解释的不一致性问题，基于弗协调逻辑构建研究量子纠缠的替代框架，旨在厘清理论谜题，为更一致地诠释量子力学提供潜在方案。
2024-05-14 quant-ph
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
我们提出了一个模型的子结构逻辑聚束的影响（BI），是适合于推理量子态。在我们的模型中，BI的分离合取描述了可分离的量子态。我们开发了一个程序逻辑，其中的前置条件和后置条件是描述量子态的BI公式-程序逻辑可以被看作是命令式量子程序的分离逻辑的对应物。我们练习逻辑证明量子一次性密码本和秘密共享的安全性，我们展示了如何使用程序逻辑来发现Google Cirq的变分量子算法（VQA）教程中的缺陷。
2021-01-30 cs.LO quant-ph
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
抽象解释、霍尔逻辑和不正确（或反向霍尔）逻辑是静态分析计算机程序的强大技术。所有这些都已成功地扩展到量子设置，但在很大程度上是并行开发的。在本文中，我们研究这些技术之间的关系，在验证量子while程序的背景下，其中的抽象域和一组断言的量子状态是结构良好的。特别地，我们证明了任何完全的量子抽象解释都可以导出一个量子霍尔逻辑和一个量子不正确逻辑，这两个逻辑都是合理的和相对完备的。与文献中提出的逻辑不同，诱导逻辑系统是以向前的方式，使它们在某些应用中更有用。相反，任何健全的和相对完整的量子霍尔逻辑或量子不正确逻辑都导出一个完整的量子抽象解释。作为应用，我们证明了当局部子空间元组作为断言时，不存在任何可靠的、相对完备的量子霍尔逻辑或不正确逻辑.
2022-06-28 cs.LO quant-ph
Logical Dissipation of Automata Implements - Dissipation of Computation
正如计算机对能量耗散原理的讨论所揭示的那样，逻辑对为逻辑功能而设计的物理系统施加了约束。我们定义了有限自动机的逻辑耗散的概念。我们讨论了与自动机的物理实现相关的约束，并展示了模块化的可测试性所发挥的作用。因此，实际的计算机，这必然是模块化的，消耗成比例的计算时间。
1998-05-07 math.LO quant-ph
The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
我们首先讨论量子逻辑的历史，将其分为三个时代或生活。第一个生命与伯克霍夫和冯诺依曼的代数方法在20世纪30年代。第二次生命与试图将量子逻辑理解为始于20世纪50年代末并在20世纪70年代蓬勃发展的逻辑有关。第三次生命与量子逻辑的最新发展有关，这些发展来自于量子逻辑与量子计算的联系。我们讨论了我们自己的工作，将量子逻辑与量子计算联系起来（将量子逻辑视为存储量子比特的量子寄存器的逻辑），并对基于量子原理的数学进行了一些推测。
2013-02-14 cs.LO math.LO quant-ph
