QBism逻辑

QBism将量子理论解释为一门关于主体概率赋值及其在可能经验中修正的规范性学科。本文为该图景发展了一种逻辑形式化。一个良构的核心数据由可容许先验空间、有限族实际测量、Born核和更新核组成。对于每个此类数据，我们引入一个针对历史和后验状态的带守卫动态语言，并证明一个全局归约定理。接下来，我们考虑在有效呈现的实闭域上的有效半代数数据。对于此类数据，我们将不含动态算子的片段翻译为相应有序环语言中的一阶公式，从而将有效性归约为实闭域上的一阶推理。归约和一阶翻译共同产生一个可靠且完备的递归演算以及一个有效性判定过程。最后，假设一个对称信息完备（SIC）参考测量，我们证明有限维量子理论通过SIC坐标、POVM和量子仪器实现了该框架。我们还证明了相应的SIC像满足标准qplex几何条件，即一致性界和下极条件，并且在显式系数域假设下，所得的量子数据是有效半代数的。