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
Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics. An Algebraic Approach
在本文中，我们提出了所谓的代数方法命题量子逻辑的基本原理。我们将描述量子实在的公式集定义为由量子命题变量集自由生成的自由代数。我们将逻辑的一般概念定义为结构性的结果运算。接下来，我们介绍逻辑矩阵的概念，它被理解为量子逻辑的模型。我们给出了在这些模型中定义的两个量子后果运算的定义。
2009-02-21 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
Fuzzy Propositional Logic Associated with Quantum Computational Gates
我们应用剩余结构与模糊逻辑发展某些方面的信息处理在量子计算从逻辑的角度来看。为此，我们引入了一个公理系统，其自然解释是不可逆的量子庞加莱结构。
2006-12-26 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
Is Quantum Logic a Logic?
它表明，量子逻辑是一个逻辑在非常相同的方式，经典逻辑是一个逻辑。量子逻辑和经典逻辑的可靠性和完备性已经在新的格模型中得到了证明，这些格模型不是正交模的，因此也不能是分配的--而标准格模型对于相应的逻辑是正交模的和分配的。因此，我们不能把正交模性归因于量子逻辑本身，也不能把分配性归因于经典逻辑本身。对于新模型的逻辑赋值是非数值的，因此真值和真值表真值表一般不能归因于逻辑命题本身，而只能归因于某些模型的变量--例如二值布尔代数。首先，逻辑是公理化的演绎系统，如果我们不考虑它们的语义（模型、赋值等），那么量子逻辑和经典逻辑在作为两个演绎系统的意义上将具有完全平等的地位，这两个演绎系统在一些公理上彼此不同，而没有别的。没有理由认为这两种逻辑中的任何一种比另一种更“恰当”。这些逻辑的语义属于它们的模型，我们表明，有更大的差异，上述两个经典模型之间比两个相应的量子和经典模型。
2008-12-15 quant-ph
Towards a Multi Target Quantum Computational Logic
与标准量子计算逻辑（QCL）不同，其中信息的载体（目标）通常被假设为仅是许多量子位序列上的最后一个量子位，在这里，我们提出了QCL的扩展版本（我们称为多目标量子计算逻辑，简称MTQCL），其中目标量子位的数量和位置是任意的。
2018-03-07 quant-ph
Quantum computational logic with mixed states
利用代数框架，我们解决了文献[5]和[7]中提出的一个与模糊逻辑有关的量子计算型逻辑的公理化问题。一个希尔伯特式演算的发展，获得一个代数强完备性定理。
2010-02-26 quant-ph
Contextual logic for quantum systems
在这项工作中，我们建立了一个量子逻辑，使我们能够从一个固定的，没有矛盾的量子力学表示不去定理涉及到不同的上下文的物理量。这个逻辑来自于考虑一个拓扑空间上的层，它与物理系统的希尔伯特空间的闭子空间的正交格的布尔子格相关联。与标准量子逻辑不同的是，上下文逻辑保持了一个分配格结构，并将蕴涵定义为合取的剩余。
2007-02-02 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
Dynamic Logic of Quantum Field Theory
虽然人们对量子力学逻辑的研究由来已久，但对量子场论逻辑的研究却从未有过。由于QFT中的两个基本算子，即创造算子和湮灭算子，在逻辑意义上是动态的，因此我们引入动态逻辑的观点来表述QFT的逻辑。在给出量子场论的动力学逻辑之后，我们给出了量子场论中费米子、真空态、零矢量和传播子的动力学逻辑解释。我们还强调，只有重言式$\top$和矛盾式$\bot$才是我们逻辑的原子公式。最后，我们展示了Aharonov-Bohm效应如何从我们的QFT动态逻辑中得到自然的解释。本文应该是从动力学角度研究量子理论逻辑的开端。
2020-07-03 quant-ph
Holistic type extension for classical propositional logic in quantum computation
在混合态量子计算框架下，对经典命题逻辑进行了整体扩展。重言式和矛盾的概念进行了研究，在这个扩展。研究了一类特殊的量子态，作为“整体”矛盾的特殊情况。
2019-04-09 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
From Quantum Metalanguage to the Logic of Qubits
本论文的主要目的是寻找一种能够描述量子信息及其性质的逻辑演绎演算（我们将采用Gentzen，1935年提出的量子演算）。更确切地说，我们打算用逻辑术语描述量子比特（量子信息的单位）的形成，它是两个经典比特0和1的特定线性叠加。为此，我们必须在一个量子比特Lq的逻辑中引入新的连接“量子叠加”，因为经典的合取不能描述这个量子链接。
2010-03-31 quant-ph
Topos logic in measurement-based quantum computation
我们报告的第一个步骤，阐明上下文，基于测量的量子计算（MBQC）和非经典逻辑的topos与计算之间的关系。我们表明，在一类MBQC，经典的普遍性需要非经典逻辑，这是“消耗”的过程中的计算，从而查明另一个潜在的量子计算资源。
2015-10-23 quant-ph
Distillation of logic-qubit entanglement assisted with cross-Kerr nonlinearity
逻辑量子比特纠缠在量子通信和量子计算中都引起了广泛的关注。在这里，我们提出了一个有效的协议，提取的逻辑量子比特纠缠的交叉克尔非线性的帮助下。该协议不仅可以净化逻辑位翻转错误和逻辑相位翻转错误，而且可以完全纠正物理位翻转错误。我们利用交叉克尔非线性构造量子非破坏探测器。我们提出的逻辑量子比特纠缠的蒸馏方案对量子信息，特别是长距离量子通信的实际应用有一定的参考价值。
2016-05-16 quant-ph
Multi-valued Logic Gates for Quantum Computation
我们开发了一种用于多能级量子系统的量子计算的多值逻辑，并讨论了这种方法在按比例放大量子计算机方面的实际优势。推广二进制量子逻辑的方法，我们建立了任意数量的d-能级系统（d > 2）上的任意幺正操作可以分解成逻辑门，一次只对两个系统进行操作。我们表明，这样的多值逻辑门的线性离子阱计划的背景下，量子计算实验是可行的。通过在该方案中使用每个离子中的d个能级，我们将计算所需的离子数量减少了log d的因子。
2000-06-12 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
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
Universal Quantum Computation with Shutter Logic
我们表明，通用的量子逻辑可以实现仅使用线性光学和量子快门设备。有了这些元素，我们设计了一个量子存储器的任何数量的量子比特和CNOT门，这是一个通用的量子计算机的基础。给出了一个无相互作用的量子快门模型。
2006-05-29 quant-ph
Quantum logic networks for probabilistic and controlled teleportation of unknown quantum states
提出了一种单粒子和两粒子未知量子态的概率隐形传态和受控隐形传态的简化方案，并通过单量子比特门、双量子比特受控非门、冯·诺依曼测量和经典控制操作等基本操作构造了实现新方案的有效量子逻辑网络.在这些方案中，隐形传态并不总是成功的，但有一定的概率。
2003-12-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
Superconductive Static Quantum Logic
具有精确的$Φ_0/2$磁通量穿线的超导环类似于具有两个简并态的伊辛自旋，其可用于存储二进制信息。当靠近时，这些环通过磁耦合相互作用。如果相互作用被适当地剪裁，这样的超导环系统可以实现静态量子逻辑，在这个意义上，当且仅当整个系统处于基态时，被解释为布尔变量的环的状态满足所需的逻辑关系。这样的静态逻辑对于实现静态量子计算是必不可少的[1，2]。
1997-07-08 quant-ph
Representation theorem for obsevables on a quantum logic
我们使用Renyi方法（或贝叶斯原理）研究量子逻辑上的条件态。这种方法有助于我们定义事件的独立性，与经典概率论中的情况不同，如果事件$a$独立于事件$b$，则事件$b$可以依赖于事件$a$。我们将证明，我们可以定义一个$s$映射（量子逻辑上的同时测量函数）。可以证明，如果我们有条件状态，我们可以定义$s$ -映射，反之亦然。通过使用$s$ -映射，我们也可以在量子逻辑上引入非相容观测量的联合分布。
2003-02-07 quant-ph
Simple pulse sequence for quantum logic operations using photon-exchange interactions
这篇论文已被撤回的作者由于一个错误首先指出的M。卢金
2003-05-27 quant-ph
Realizing probabilistic identification and cloning of quantum states via universal quantum logic gates
可能的量子克隆和识别机器可以通过幺正还原过程构建[Duan和Guo，Phys.Rev.Lett. 80，4999（1998）]。在给定克隆（识别）概率的情况下，我们导出了酉演化的显式表示和相应的哈密顿量，实现了概率克隆（识别）。通过将幺正表示分解为泛量子逻辑运算，得到了逻辑网络。并讨论了网络的鲁棒性。我们的方法适用于$k$-partite系统，如量子计算机，并可推广到一般的状态相关克隆和识别。
2000-05-28 quant-ph
Measurement-based quantum computation and undecidable logic
我们建立了基于测量的量子计算和数理逻辑领域之间的联系。我们表明，计算能力的一类重要的量子态称为图形状态，代表资源的测量为基础的量子计算，反映在表达能力的（经典）形式逻辑语言定义的基础数学图形。特别是，我们表明，对于所有的图形状态资源，可以产生一个计算速度相对于经典计算，底层图形-描述的量子相关的状态-与不可判定的逻辑理论。在这里，不可判定性被解释为类似于哥德尔的不完备性结果，这意味着存在命题，可以在上述经典形式逻辑中表达，不能被证明或反证。
2008-03-27 quant-ph
Proceedings 12th International Workshop on Quantum Physics and Logic
本卷包含2015年7月15日至17日在牛津大学举行的第12届量子物理与逻辑国际研讨会（QPL 2015）的会议记录。这个系列研讨会的目的是汇集研究量子物理学，量子计算，时空因果结构和相关领域，如计算语言学的数学基础的研究人员。特别感兴趣的是使用逻辑工具，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学方法来研究一般物理行为的主题。
2015-11-04 quant-ph
Holonomic quantum logic gates
这是量子计算背景下的量子完整性的简要概述。我们选择了一组足够的量子逻辑门，即相位门，阿达玛门，和条件相位门，并展示了它们如何可以实现纯几何手段。这样的门可以对某些类型的错误更有弹性。
2002-02-19 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
Exogenous Quantum Operator Logic Based on Density Operators
虽然量子逻辑已经提出了使用外生方法来推理封闭的量子系统，但从态逻辑的角度来看，基于密度算符而不是单位向量的量子逻辑是值得研究的。为了实现这一点，我们建立了一个基于密度算符的外生量子算符逻辑（EQOL），用于对开放量子系统进行推理。我们表明，这种逻辑是健全的和完整的。与外生量子命题逻辑一样，外生量子命题逻辑也是经典命题逻辑的外生扩展，用于描述基于密度算子的状态逻辑。作为其应用，我们通过推理和逻辑论证证实了贝尔态的纠缠性，并验证了基本BB 84协议存在窃听。作为开放量子系统的一种新的数学形式，我们引入了一个外生量子马尔可夫链（EQMC），它的量子态被标记为EQOL公式。然后，给出了一个例子来说明使用EQMC描述的广义量子回路程序的终止性验证问题。
2015-07-24 cs.LO quant-ph
On Multiplicative Linear Logic, Modality and Quantum Circuits
一个逻辑系统，来自线性逻辑和称为QMLL的介绍，并显示能够捕获所有的酉量子电路。相反，任何证明都表明通过具体的GoI解释计算一些量子电路。通过赋予乘性线性逻辑以量子模态，得到了具有割消的系统QMLL。
2012-10-02 cs.LO quant-ph
