量子测量逻辑与推理理论

已有的量子逻辑存在只适合于刻画封闭量子系统以及无法形式化量子测量算子等问题。为了描述开放量子系统,本文基于量子测量给出一种逻辑语言。首先,将经典命题公式作为逻辑语言的局部公式,以量子测量算子作为项公式;然后,将项公式的比较式和封闭量子子系统作为逻辑语言的原子命题,并定义一组量子联结词;最后,按结构归纳方式给出逻辑语言的全局公式。通过比较、分析已有的逻辑语言,说明量子测量逻辑的表达能力。作为公理化系统,给出量子测量逻辑的推理规则、元定理等相关理论。