确定性贝叶斯逻辑

本文定义并研究了一种条件逻辑。该条件逻辑——确定性贝叶斯逻辑（Deterministic Bayesian Logic，DBL）是（概率）贝叶斯条件的确定性对应物。该逻辑不受限制，允许任何逻辑运算。该逻辑被证明是非平凡的，且不能还原为经典命题。DBL 的贝叶斯条件暗示了逻辑独立性的定义。关于逻辑独立性与证明之间的相互作用，推导出了有趣的结果。为该逻辑构建了一个模型。证明了完备性结果。证明任何未加条件的概率都可以扩展到整个逻辑 DBL。随后从概率 DBL 中恢复了贝叶斯条件。最后，说明了 DBL 为什么符合 Lewis 平凡性。