量子测量逻辑与推理理论

作     者：林运国 李永明 LIN Yunguo;LI Yongming

作者机构：福建农林大学计算机与信息学院福建福州350002 陕西师范大学计算机科学学院陕西西安710119 

出 版 物：《陕西师范大学学报（自然科学版）》 (Journal of Shaanxi Normal University：Natural Science Edition)

年 卷 期：2016年第44卷第6期

页      面：6-13页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(11271237) 福建省自然科学基金(2016J01283) 福建省教育厅中青年教师教育科研项目(JA13115) 

主　　题：量子逻辑 量子测量 元定理 推理规则 

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