无量子位量子逻辑

量子程序的动态量子逻辑

Dynamic Quantum Logic for Quantum Programs

我们提出了一种将量子逻辑应用于量子程序研究的方法。这是通过使用通常的命题语言的扩展，以使系统上执行的转换显式出现。这样，系统的演化就成为逻辑研究的一部分。我们展示了如何酉操作和两个值的测量可以包括在这种形式主义，从而可以处理逻辑。

量子计算的逻辑结构

Logical structures underlying quantum computing

在这项工作中，我们提出了一个广义的量子计算逻辑能够处理一些重要的例子量子算法。我们概述了这些结构的代数公理化。

量子逻辑中的结果运算（Cn）的模型理论研究。代数方法

Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics. An Algebraic Approach

在本文中，我们提出了所谓的代数方法命题量子逻辑的基本原理。我们将描述量子实在的公式集定义为由量子命题变量集自由生成的自由代数。我们将逻辑的一般概念定义为结构性的结果运算。接下来，我们介绍逻辑矩阵的概念，它被理解为量子逻辑的模型。我们给出了在这些模型中定义的两个量子后果运算的定义。

马尔可夫量子动力学在量子逻辑网络上的模拟

Simulation of Markovian quantum dynamics on quantum logic networks

我们研究了如何使用可编程量子处理器来模拟量子比特的马尔可夫动力学的生成器。

超逻辑流形与量子逻辑的几何方法

Superlogic Manifolds and Geometric approach to Quantum Logic

本文的主要目的是提出一种新的逻辑方法，我们称之为超逻辑。这种方法构成了一种看待量子力学和逻辑之间联系的新方法。它是量子逻辑的{ \it几何化}。注意，这个超逻辑不是分配的，反映了描述量子力学、非对易空间的良好性质，并且包含一个幂零元素。

贝尔不等式与量子逻辑、隐变量和信息论的关系

Relation of the Bell inequalities with quantum logic, hidden variables and information theory

我回顾的关系的贝尔不等式-特征（经典）的概率定义的布尔逻辑-与非上下文和本地隐藏变量理论的量子力学和量子信息。

量子结构作为生成分数：分区逻辑、生成逻辑与审美形式

Quantum Structures as Generative Scores: Partition Logic, Generative Logic, and Aesthetic Form

通过将有限分区逻辑转化为基于Prolog的简单生成逻辑语法，连接分区逻辑与生成逻辑。以五原子V-逻辑L_{12}生成模块化视觉艺术品量子正方形，实现逻辑结构与视觉、文本或声音表现的分离。

与量子计算门相关的模糊命题逻辑

Fuzzy Propositional Logic Associated with Quantum Computational Gates

我们应用剩余结构与模糊逻辑发展某些方面的信息处理在量子计算从逻辑的角度来看。为此，我们引入了一个公理系统，其自然解释是不可逆的量子庞加莱结构。

一种构造量子组合逻辑电路的实用方法

A Practical Method of Constructing Quantum Combinational Logic Circuits

本文描述了一种用基本的量子逻辑门如非门和一般的$n$位Toffoli门构造量子组合逻辑电路的实用方法。这种方法有助于找到量子线路，以评估最适合在给定量子计算机上实现的形式的逻辑函数。在卡诺图的帮助下，获得最有效电路的规则得到了最好的利用。解释了由于量子逻辑电路与经典逻辑电路的不同，卡诺图的使用规则发生了变化。

量子逻辑门讲座

A Lecture on Quantum Logic Gates

本文对量子逻辑门中的n重控制幺正门的构造作一简要评述。

一种弱直觉量子逻辑

A Weakly Intuitionistic Quantum Logic

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

量子逻辑门的解析解及海森堡作用下量子计算机中脉冲误差的模拟

Analytic solutions for quantum logic gates and modeling pulse errors in a quantum computer with a Heisenberg interaction

我们分析和数值计算量子逻辑门在一维自旋链海森堡相互作用。针对基于逻辑量子比特的量子计算机，给出了基本单量子比特门和交换门的解析解。我们计算了实现量子逻辑门的不完美脉冲所引起的误差。数值计算表明，概率误差与$ε^4$成正比，相位误差与$ε$成正比，其中$ε$是与理想脉冲宽度的特征偏差。

量子逻辑是逻辑吗？

Is Quantum Logic a Logic?

它表明，量子逻辑是一个逻辑在非常相同的方式，经典逻辑是一个逻辑。量子逻辑和经典逻辑的可靠性和完备性已经在新的格模型中得到了证明，这些格模型不是正交模的，因此也不能是分配的--而标准格模型对于相应的逻辑是正交模的和分配的。因此，我们不能把正交模性归因于量子逻辑本身，也不能把分配性归因于经典逻辑本身。对于新模型的逻辑赋值是非数值的，因此真值和真值表真值表一般不能归因于逻辑命题本身，而只能归因于某些模型的变量--例如二值布尔代数。首先，逻辑是公理化的演绎系统，如果我们不考虑它们的语义（模型、赋值等），那么量子逻辑和经典逻辑在作为两个演绎系统的意义上将具有完全平等的地位，这两个演绎系统在一些公理上彼此不同，而没有别的。没有理由认为这两种逻辑中的任何一种比另一种更“恰当”。这些逻辑的语义属于它们的模型，我们表明，有更大的差异，上述两个经典模型之间比两个相应的量子和经典模型。

迈向多目标量子计算逻辑

Towards a Multi Target Quantum Computational Logic

与标准量子计算逻辑（QCL）不同，其中信息的载体（目标）通常被假设为仅是许多量子位序列上的最后一个量子位，在这里，我们提出了QCL的扩展版本（我们称为多目标量子计算逻辑，简称MTQCL），其中目标量子位的数量和位置是任意的。

混合态量子计算逻辑

Quantum computational logic with mixed states

利用代数框架，我们解决了文献[5]和[7]中提出的一个与模糊逻辑有关的量子计算型逻辑的公理化问题。一个希尔伯特式演算的发展，获得一个代数强完备性定理。

量子系统的上下文逻辑

Contextual logic for quantum systems

在这项工作中，我们建立了一个量子逻辑，使我们能够从一个固定的，没有矛盾的量子力学表示不去定理涉及到不同的上下文的物理量。这个逻辑来自于考虑一个拓扑空间上的层，它与物理系统的希尔伯特空间的闭子空间的正交格的布尔子格相关联。与标准量子逻辑不同的是，上下文逻辑保持了一个分配格结构，并将蕴涵定义为合取的剩余。

量子计算逻辑一项调查

Quantum Computational Logics. A Survey

量子计算提出了量子逻辑的新形式，称为量子计算逻辑。基本的语义思想如下：句子的意义被识别为quregister，一个量子比特系统，代表一个复合量子系统的可能纯态。对混合态的推广，这可能有助于分析纠缠现象，是由于Gudder。量子计算逻辑代表了非尖锐量子逻辑的非标准示例，其中违反了非矛盾原则，而合取和析取是强非幂等的。在这个框架中，语言中的任何句子都会产生一棵量子树：一种量子线路，它将与句子的原子子公式相关联的quregister转换为与句子相关联的quregister。

量子计算中的整体逻辑论证

Holistic logical arguments in quantum computation

量子计算逻辑表示量子计算中电路理论的逻辑抽象。在这些逻辑中，公式应该表示量子信息（量子比特、四元寄存器或四元寄存器的混合），而逻辑连接符对应于以可逆方式转换量子信息的（量子逻辑）门。量子理论形式主义的整体特征（在纠缠现象中起着至关重要的作用）可以用来开发量子计算语义的整体版本。与大多数标准语义方法的组合特征相比，公式的含义在这里被处理为全局抽象对象，其确定公式的组件（从整体到部分）的上下文含义。我们提出了一个调查的最重要的逻辑参数是有效的，或可能违反这个语义的框架。有些逻辑特征表面上看起来很奇怪，但实际上却很好地反映了我们目前在理性活动中所使用的非正式论证。

Dynamic Logic of Quantum Field Theory

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,…

量子计算中经典命题逻辑的整体类型扩展

Holistic type extension for classical propositional logic in quantum computation

在混合态量子计算框架下，对经典命题逻辑进行了整体扩展。重言式和矛盾的概念进行了研究，在这个扩展。研究了一类特殊的量子态，作为“整体”矛盾的特殊情况。

开放n量子比特系统作为四值逻辑量子计算机

Open n-Qubit System as a Quantum Computer with Four-Valued Logic

本文将量子计算机的一般模型推广到一个模型，其中态是密度矩阵的算符，门是一般的超算符（量子运算），而不必是幺正的。本文考虑n个二能级量子系统（开或闭n量子比特系统）的混合态（密度矩阵算符）作为$4^{n}$维算符希尔伯特空间（Liouville空间）的元素。它允许使用具有4值逻辑的量子计算机（电路）模型。该模型的门是作用于n-quats态的一般超算子。Ququat是四维（算符）希尔伯特空间中的量子态。酉二值逻辑门和n量子比特开放系统的量子运算被认为是作用于n-四元的四值逻辑门。讨论了量子四值逻辑门的性质。本文研究了量子四值逻辑门的普适性。

Quantum theory is logically inevitable

General relativity required the abandonment of Euclidean geometry. Here we show that quantum theory requires the abandonment of classical logic. We show that the Hilbert space representation of quantum theory is logically inevitable. There are no fundamental principles of quantum theory. We find an inevitable generalization of classical logic. The conjunction can take negative values, and reduces to the classical conjunction for order invariant measurements. The expectation of the conjunction is a generalized joint probability that can take negative values. A commutative conjunction leads to t…

谓词逻辑中量子态的刻画

Characterization of quantum states in predicative logic

在基本逻辑及其定义方程的框架下，在一个具有等式的谓词逻辑中，我们用一阶变量和随机变量刻画了量子态.本文引入随机一阶Domain的概念，并通过一个聚焦条件得到了谓词逻辑中纯态和命题逻辑中混合态的一个刻画。我们讨论的作用，一阶变量和相关的上下文，在序列。

从量子元语言到量子比特逻辑

From Quantum Metalanguage to the Logic of Qubits

本论文的主要目的是寻找一种能够描述量子信息及其性质的逻辑演绎演算（我们将采用Gentzen，1935年提出的量子演算）。更确切地说，我们打算用逻辑术语描述量子比特（量子信息的单位）的形成，它是两个经典比特0和1的特定线性叠加。为此，我们必须在一个量子比特Lq的逻辑中引入新的连接“量子叠加”，因为经典的合取不能描述这个量子链接。

基于测量的量子计算中的拓扑逻辑

Topos logic in measurement-based quantum computation

我们报告的第一个步骤，阐明上下文，基于测量的量子计算（MBQC）和非经典逻辑的topos与计算之间的关系。我们表明，在一类MBQC，经典的普遍性需要非经典逻辑，这是“消耗”的过程中的计算，从而查明另一个潜在的量子计算资源。

交叉克尔非线性辅助下的逻辑量子比特纠缠蒸馏

Distillation of logic-qubit entanglement assisted with cross-Kerr nonlinearity

逻辑量子比特纠缠在量子通信和量子计算中都引起了广泛的关注。在这里，我们提出了一个有效的协议，提取的逻辑量子比特纠缠的交叉克尔非线性的帮助下。该协议不仅可以净化逻辑位翻转错误和逻辑相位翻转错误，而且可以完全纠正物理位翻转错误。我们利用交叉克尔非线性构造量子非破坏探测器。我们提出的逻辑量子比特纠缠的蒸馏方案对量子信息，特别是长距离量子通信的实际应用有一定的参考价值。

量子计算中的多值逻辑门

Multi-valued Logic Gates for Quantum Computation

我们开发了一种用于多能级量子系统的量子计算的多值逻辑，并讨论了这种方法在按比例放大量子计算机方面的实际优势。推广二进制量子逻辑的方法，我们建立了任意数量的d-能级系统（d > 2）上的任意幺正操作可以分解成逻辑门，一次只对两个系统进行操作。我们表明，这样的多值逻辑门的线性离子阱计划的背景下，量子计算实验是可行的。通过在该方案中使用每个离子中的d个能级，我们将计算所需的离子数量减少了log d的因子。

量子逻辑门与微阱中的最大纠缠态

Quantum logic gates and maximally entangled states in microtraps

这篇论文已被撤回，因为第一作者在提交论文之前没有咨询其他作者。

逻辑一致性作为动力学不变量：自指与悖论的量子模型

Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox

本文提出一种量子电路模型，通过内在机制在单位元演化中强制逻辑一致性，解决自指和悖论问题，将一致性作为推理系统的结构性属性。

用光控固态量子逻辑门实现的三量子比特Deutsch-Jozsa算法的量子逻辑电路的设计和优化

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算法调查不同的策略，以获得短的总计算时间。我们测试了两种不同的方法，基于使用不同的纠缠门与最短的门计算时间，然而，不引入泄漏的量子信息的控制粒子。第一组利用控制相位门的快速近似作为纠缠门，而另一个任意纠缠门与第一组相比具有更短的门计算时间。我们已经确定了电路，始终较短的总计算时间时，使用受控相位门。

大量子比特数量子计算机中量子逻辑运算的模拟

Simulations of Quantum Logic Operations in Quantum Computer with Large Number of Qubits

我们报告了大量量子位（高达1000）的量子逻辑操作的动力学的第一次模拟。考虑了一个核自旋链，其中自旋的选择性激发由外磁场的梯度提供。自旋与它们最近的邻居相互作用。我们模拟了远程量子比特的控制非（CN）门实现，它提供了长距离纠缠。我们的方法可以应用于任何涉及大量量子位的量子逻辑门的实现。

单电子量子逻辑

Quantum Logic with a Single Trapped Electron

我们建议使用一个被困的电子来实现量子逻辑操作。基本的控制非门被证明是可行的。这两个量子比特存储在内部和外部（运动）自由度中。

序列量子逻辑命题在量子计算机上的不确定性测试

Nondeterministic testing of Sequential Quantum Logic propositions on a quantum computer

在过去的几年中，已经证明，通用的量子计算可以通过投影测量单独获得，而不需要酉门。这表明量子计算的基本逻辑可能是量子测量序列的代数，而不是幺正算子乘积的代数。这种顺序量子逻辑（SQL）是在70年代后期发展起来的，最近被应用于量子力学的一致性历史框架，作为量子引力理论的一条可能途径。在这封信中，我给出了一个在量子计算机上判定SQL中一个命题的真值的方法，其成功概率为非零。

利用线性光学元件实现非确定性量子逻辑操作的隐形传态

Teleportation implementation of non-deterministic quantum logic operations by using linear optical elements

我们提出了一个可行的方案，利用隐形传态协议实现Knill，Laflamme和Milburn（Nature，409，46-52（2001））的非确定性量子逻辑运算，该方案只需要单光子源、线性光学元件和光子探测器。

采用q变形振荡器的量子逻辑门

Quantum Logic Gates using q-deformed Oscillators

我们表明，量子逻辑门，{ \it即}。单量子位Hadamard门和相移门也可以使用通过具有两个q变形振荡器的Jordan-Schwinger机制构造的q变形角动量态来实现。{ \it Keywords：}量子逻辑门; q变形振荡器;量子计算{ \it PACS：} 03.67.Lx ; 02.20.Uw

基于量子傅里叶变换的量子算术逻辑单元在IBM量子计算机上的实现

QFT based quantum arithmetic logic unit on IBM quantum computer

本研究基于量子傅里叶变换构建了量子算术逻辑单元，支持加法和与非门操作，在IBM量子硬件上验证了高成功率，并探讨了构建量子软核处理器的潜力。

模糊逻辑与量子测量公式化

Fuzzy Logic and Quantum Measurement Formulation

冯·诺依曼量子测量理论和Zurek理论都是建立在量子系统、仪器和环境服从量子力学规则的假设基础上的。根据Zurek理论，观察者通常与周围环境相互作用。本文给出了量子测量理论的一个更真实的形象，并基于模糊逻辑和模糊集合理论对Zurek量子测量理论提出了一个修正。

基于快门逻辑的通用量子计算

Universal Quantum Computation with Shutter Logic

我们表明，通用的量子逻辑可以实现仅使用线性光学和量子快门设备。有了这些元素，我们设计了一个量子存储器的任何数量的量子比特和CNOT门，这是一个通用的量子计算机的基础。给出了一个无相互作用的量子快门模型。

量子逻辑网络用于未知量子态的概率和受控隐形传态

Quantum logic networks for probabilistic and controlled teleportation of unknown quantum states

提出了一种单粒子和两粒子未知量子态的概率隐形传态和受控隐形传态的简化方案，并通过单量子比特门、双量子比特受控非门、冯·诺依曼测量和经典控制操作等基本操作构造了实现新方案的有效量子逻辑网络.在这些方案中，隐形传态并不总是成功的，但有一定的概率。

完美量子纠错码中编码逻辑量子比特运算的实验实现

Experimental implementation of encoded logical qubit operations in a perfect quantum error correcting code

大规模通用量子计算需要实现量子纠错（QEC）。虽然QEC的实现已经被证明用于量子存储器，但可靠的量子计算还需要将非平凡的逻辑门操作应用于编码的量子位。在这里，我们通过除了恒等操作之外还实现对在五量子比特系统中编码的逻辑量子比特的NOT和Hadamard门来呈现这样的操作的示例，该五量子比特系统允许校正任意单个量子比特错误。我们执行编码门操作的量子过程层析成像，展示了所有可能的单量子位错误的成功校正，并测量编码逻辑门操作的保真度。

条件量子动力学与逻辑门

Conditional Quantum Dynamics and Logic Gates

量子逻辑门提供了条件量子动力学的基本例子。它们可以构成一般量子信息处理系统的基本组成部分，这些系统最近被证明具有许多有趣的非经典性质。本文描述了一种简单的量子逻辑门--量子受控非门，并分析了它的一些应用。我们讨论了两种可能的物理实现的门，一个基于拉姆齐原子干涉法和其他的两个子系统进行偶极-偶极相互作用的光共振的选择性驱动。

从弗协调逻辑视角看量子纠缠

Quantum Entanglement Through the Lens of Paraconsistent Logic

本研究针对量子力学中态叠加、非定域性等挑战经典因果解释的不一致性问题，基于弗协调逻辑构建研究量子纠缠的替代框架，旨在厘清理论谜题，为更一致地诠释量子力学提供潜在方案。

在囚禁离子量子计算机上对编码于Steane码的逻辑三比特量子傅里叶变换进行基准测试

Benchmarking logical three-qubit quantum Fourier transform encoded in the Steane code on a trapped-ion quantum computer

本研究采用Steane码实现逻辑编码三比特量子傅里叶变换线路，在囚禁离子量子计算机上完成组件及整体线路的基准测试，验证了逻辑量子线路性能与组件预测的一致性。

超导静态量子逻辑

Superconductive Static Quantum Logic

具有精确的$Φ_0/2$磁通量穿线的超导环类似于具有两个简并态的伊辛自旋，其可用于存储二进制信息。当靠近时，这些环通过磁耦合相互作用。如果相互作用被适当地剪裁，这样的超导环系统可以实现静态量子逻辑，在这个意义上，当且仅当整个系统处于基态时，被解释为布尔变量的环的状态满足所需的逻辑关系。这样的静态逻辑对于实现静态量子计算是必不可少的[1，2]。

一个量子逻辑上的观测表示定理

Representation theorem for obsevables on a quantum logic

我们使用Renyi方法（或贝叶斯原理）研究量子逻辑上的条件态。这种方法有助于我们定义事件的独立性，与经典概率论中的情况不同，如果事件$a$独立于事件$b$，则事件$b$可以依赖于事件$a$。我们将证明，我们可以定义一个$s$映射（量子逻辑上的同时测量函数）。可以证明，如果我们有条件状态，我们可以定义$s$ -映射，反之亦然。通过使用$s$ -映射，我们也可以在量子逻辑上引入非相容观测量的联合分布。

利用光子交换相互作用进行量子逻辑运算的简单脉冲序列

Simple pulse sequence for quantum logic operations using photon-exchange interactions

这篇论文已被撤回的作者由于一个错误首先指出的M。卢金

用通用量子逻辑门实现量子态的概率识别和克隆

Realizing probabilistic identification and cloning of quantum states via universal quantum logic gates

可能的量子克隆和识别机器可以通过幺正还原过程构建[Duan和Guo，Phys.Rev.Lett. 80，4999（1998）]。在给定克隆（识别）概率的情况下，我们导出了酉演化的显式表示和相应的哈密顿量，实现了概率克隆（识别）。通过将幺正表示分解为泛量子逻辑运算，得到了逻辑网络。并讨论了网络的鲁棒性。我们的方法适用于$k$-partite系统，如量子计算机，并可推广到一般的状态相关克隆和识别。

基于测量的量子计算和不可判定逻辑

Measurement-based quantum computation and undecidable logic

我们建立了基于测量的量子计算和数理逻辑领域之间的联系。我们表明，计算能力的一类重要的量子态称为图形状态，代表资源的测量为基础的量子计算，反映在表达能力的（经典）形式逻辑语言定义的基础数学图形。特别是，我们表明，对于所有的图形状态资源，可以产生一个计算速度相对于经典计算，底层图形-描述的量子相关的状态-与不可判定的逻辑理论。在这里，不可判定性被解释为类似于哥德尔的不完备性结果，这意味着存在命题，可以在上述经典形式逻辑中表达，不能被证明或反证。

第12届国际量子物理与逻辑研讨会论文集

Proceedings 12th International Workshop on Quantum Physics and Logic

本卷包含2015年7月15日至17日在牛津大学举行的第12届量子物理与逻辑国际研讨会（QPL 2015）的会议记录。这个系列研讨会的目的是汇集研究量子物理学，量子计算，时空因果结构和相关领域，如计算语言学的数学基础的研究人员。特别感兴趣的是使用逻辑工具，有序代数和范畴理论结构，形式语言，语义方法和其他计算机科学方法来研究一般物理行为的主题。

完整量子逻辑门

Holonomic quantum logic gates

这是量子计算背景下的量子完整性的简要概述。我们选择了一组足够的量子逻辑门，即相位门，阿达玛门，和条件相位门，并展示了它们如何可以实现纯几何手段。这样的门可以对某些类型的错误更有弹性。

直和分解的量子逻辑

The Quantum Logic of Direct-Sum Decompositions

自Birkhoff和von Neumann的开创性工作以来，量子逻辑被解释为希尔伯特空间的（封闭）子空间的逻辑。从通常的布尔子集逻辑到一般向量空间的子空间的“量子逻辑”有一个进展-然后专门用于希尔伯特空间的闭子空间。但有一个“双重”的进步。划分（或商集或等价关系）的概念与子集的概念是对偶的（在范畴论意义上）。因此，子集的布尔逻辑具有划分的对偶逻辑。然后，对偶进程是从分区的逻辑到直和分解的量子逻辑（即，集合划分的向量空间版本）的一般向量空间-然后可以专门用于希尔伯特空间的直和分解。这允许逻辑通过任何自伴算子而不仅仅是与子空间相关联的投影算子来表达测量。在这篇介绍性的论文中，重点是有限维向量空间（包括希尔伯特空间）的直和分解的量子逻辑。主要的特殊情况下检查是有限的向量空间超过2的教学模型的量子力学集（QM/集）制定。在附录中，分析了GF（q）上有限向量空间的直和分解的组合学，并计算了q=2的QM/Sets的情况。

特征逻辑：多值和模糊系统的量子观点

Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems

利用Hilbert空间中的观测量族，提出了二值和多值逻辑的一种矩阵模型，特征值给出逻辑命题的真值，其中原子输入命题情况由相应的特征向量表示.对于使用真值{0，1}的二进制逻辑，逻辑可观测量是成对交换投影器。对于真值{+1，-1}，算符系统形式上等价于复合自旋1/2系统，逻辑观测量是属于泡利群的等距。此外，在这种方法中，模糊逻辑自然出现时，考虑非特征向量。模糊隶属度函数是由逻辑投影观测量的量子平均值得到的，它是一个与最近的量子认知模型相一致的概率测度。多值逻辑与量子角动量的类比，然后建立。三值逻辑的逻辑观测量被公式化为轨道角动量l=1的Lz观测量的函数。显式地获得了Min和Max联结词的代表性3值2参数逻辑可观量。

线性光学量子逻辑

Quantum Logic Using Linear Optics

为了使量子通信系统得到广泛应用，可能有必要开发能够扩展量子密钥分发系统的范围并纠正量子信息传输中的错误的量子中继器。基于线性光学技术的量子逻辑门在量子中继器的研制中有着广阔的应用前景，在量子计算中也有着重要的应用前景。在这里，我们描述了基于线性光学的逻辑门的基本原理，以及这种设备的几个实验演示的结果。本文还讨论了单光子源和光子存储器的原型。这些设备可以与四量子比特编码相结合，以实现量子中继器。

作为量子测量的逻辑程序设计

Logic programming as quantum measurement

重点讨论了量子定理证明与量子定理证明的并置问题。概述了量子系统命题验证的逻辑内容。引入Zittereingang（颤抖输入）原则是为了增强谓词可满足性问题的解决方案，前提是处理器能够使用连续输入执行操作。提出了一种用量子系统实现Zittereingang机的方法。