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