量子测量逻辑与推理理论

• 作者: 李永明 林运国
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 量子逻辑 量子测量 元定理 推理规则
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 6-13
• 页数: 8页
• 分类号: TP301.2
• 字数: 9095字
• 语种: 中文
• DOI: 10.15983/j.cnki.jsnu.2016.06.162

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	林运国	福建农林大学计算机与信息学院	18	37	4.0	5.0