作为量子信息基础的模态逻辑四个等价性

摘要：

真性模态命题逻辑(MCP)为量子信息理论尝试严格模型,但其自身在句法、语义和形上学方面都有严重困难.依据隐变量最低限度指引定义,给出MCP与经典命题逻辑(CP)的四个等价性,得出MCP是包含严格句法隐变量的CP,模态公式是对CP公式的分类簇,可能世界是作为赋值背景的CP公式,量子信息可建立更简洁统一基础.

关键词：量子信息、模态命题逻辑、簇、四个等价性

所属期刊栏目：38

分类号：N031(科学的方法论)

资助基金：电子科技大学杰出人才基金A1098531023601302

在线出版日期：2022-07-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：17-23