典型文献
作为量子信息基础的模态逻辑四个等价性
文献摘要：
真性模态命题逻辑(MCP)为量子信息理论尝试严格模型,但其自身在句法、语义和形上学方面都有严重困难.依据隐变量最低限度指引定义,给出MCP与经典命题逻辑(CP)的四个等价性,得出MCP是包含严格句法隐变量的CP,模态公式是对CP公式的分类簇,可能世界是作为赋值背景的CP公式,量子信息可建立更简洁统一基础.
文献关键词：
量子信息;模态命题逻辑;簇;四个等价性
中图分类号：
作者姓名：
万小龙
作者机构：
电子科技大学科技的哲学、逻辑与历史研究中心,成都611731
文献出处：
引用格式：
[1]万小龙-.作为量子信息基础的模态逻辑四个等价性)[J].自然辩证法研究,2022(05):17-23
A类：
四个等价性,模态命题逻辑
B类：
量子信息,信息基础,模态逻辑,真性,MCP,信息理论,句法,形上学,严重困难,隐变量,最低限,可能世界,赋值
AB值：
0.260159
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
