量子计算逻辑：综述

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